#### Filter Results:

- Full text PDF available (10)

#### Publication Year

2005

2014

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

We show the regularity of the discrete time behaviour of hybrid automata in which the rates of continuous variables are governed by linear differential operators in a diagonal form and in which the values of the continuous variables can be observed only with finite precision. We do not demand resetting of the values of the continuous variables during mode… (More)

- P. Madhusudan, P. S. Thiagarajan, Shaofa Yang
- FSTTCS
- 2005

We identify a network of sequential processes that communicate by synchronizing frequently on common actions. More precisely, we demand that there is a bound k such that if the process p executes k steps without hearing from process q—directly or indirectly—then it will never hear from q again. The non-interleaved branching time behavior of a system of… (More)

- Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang
- Theor. Comput. Sci.
- 2007

Scenario languages based on Message Sequence Charts (MSCs) and related notations have been widely studied in the last decade [14, 13, 2, 9, 5, 12, 8]. The high expressive power of scenarios renders many basic problems concerning these languages undecidable. The most expressive class for which several problems are known to be decidable is one which possesses… (More)

- Philippe Darondeau, Blaise Genest, P. S. Thiagarajan, Shaofa Yang
- Inf. Comput.
- 2008

Good scheduling policies for distributed embedded applications are required for meeting hard real time constraints and for optimizing the use of computational resources. We study the quasi-static scheduling problem in which (uncontrollable) control flow branchings can influence scheduling decisions at run time. Our abstracted distributed task model consists… (More)

- S. Akshay, Blaise Genest, Loïc Hélouët, Shaofa Yang
- Inf. Process. Lett.
- 2012

Rapport de recherche n° 7823 — November 2011 — 15 pages Résumé : Il est notoirement difficile d'analyser les comportements de systémes décrits par des modèles qui comportentà la fois du temps et de la concurrence. Des résultats de décidabilité existent pour des modèles dans lesquels les valeurs des horloges sur différents processus ne peuvent pasêtre… (More)

- S. Akshay, Blaise Genest, Loïc Hélouët, Shaofa Yang
- ICTAC
- 2012

Verifying systems involving both time and concurrency rapidly leads to undecidability, and requires restrictions to become effective. This paper addresses the emptiness problem for time-constrained MSC-Graphs (TC-MSC graphs for short), that is, checking whether there is a timed execution compatible with a TC-MSC graph specification. This problem is known to… (More)

- P. S. Thiagarajan, Shaofa Yang
- HSCC
- 2010

We consider a network of hybrid automata that observe and control a plant whose state space is determined by a finite set of continuous variables. We assume that at any instant, these variables are evolving at (possibly different) constant rates. Each automaton in the network controls-i.e. can switch the rates of-a designated subset of the continuous… (More)

- Shaofa Yang, Hon Wai Leong
- Journal of Circuits, Systems, and Computers
- 2005

Foreword This technical report contains a research paper, development or tutorial article, which has been submitted for publication in a journal or for consideration by the commissioning organization. The report represents the ideas of its author, and should not be taken as the official views of the School or the University. Any discussion of the content of… (More)

- Manindra Agrawal, Frank Stephan, P. S. Thiagarajan, Shaofa Yang
- Modern Applications of Automata Theory
- 2012

- P. S. Thiagarajan, Shaofa Yang
- Theor. Comput. Sci.
- 2014