An Introduction to Timed Automata (English)
- New search for: Bérard, Béatrice
- New search for: Seatzu, Carla
- New search for: Silva, Manuel
- New search for: van Schuppen, Jan H.
- New search for: Bérard, Béatrice
In:
Control of Discrete-Event Systems
: Automata and Petri Net Perspectives
;
Chapter: 9
;
169-187
;
2013
- Article/Chapter (Book) / Electronic Resource
-
Title:An Introduction to Timed Automata
-
Additional title:Lect.Notes Control
-
Contributors:Seatzu, Carla ( editor ) / Silva, Manuel ( editor ) / van Schuppen, Jan H. ( editor ) / Bérard, Béatrice ( author )
-
Published in:Control of Discrete-Event Systems : Automata and Petri Net Perspectives ; Chapter: 9 ; 169-187Lecture Notes in Control and Information Sciences ; 433 ; 169-187
-
Publisher:
- New search for: Springer London
-
Place of publication:London
-
Publication date:2013-01-01
-
Size:19 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Modelling of Engineering Phenomena by Finite AutomataRaisch, Jörg et al. | 2013
- 2
-
Languages, Decidability, and ComplexityHaar, Stefan / Masopust, Tomáš et al. | 2013
- 3
-
Supervisory Control with Complete ObservationsMasopust, Tomáš / van Schuppen, Jan H. et al. | 2013
- 4
-
Supervisory Control with Partial ObservationsKomenda, Jan et al. | 2013
- 5
-
Diagnosis and AutomataFabre, Eric et al. | 2013
- 6
-
Supervisory Control of Distributed Discrete-Event SystemsKomenda, Jan / Masopust, Tomáš / van Schuppen, Jan H. et al. | 2013
- 7
-
An Overview of Synchronous Communication for Control of Decentralized Discrete-Event SystemsRicker, Laurie et al. | 2013
- 8
-
Coordination Control of Distributed Discrete-Event SystemsKomenda, Jan / Masopust, Tomáš / van Schuppen, Jan H. et al. | 2013
- 9
-
An Introduction to Timed AutomataBérard, Béatrice et al. | 2013
- 10
-
Introduction to Petri NetsCabasino, Maria Paola / Giua, Alessandro / Seatzu, Carla et al. | 2013
- 11
-
Structural Analysis of Petri NetsCabasino, Maria Paola / Giua, Alessandro / Seatzu, Carla et al. | 2013
- 12
-
Supervisory Control of Petri Nets with Language SpecificationsGiua, Alessandro et al. | 2013
- 13
-
Structural Methods for the Control of Discrete Event Dynamic Systems – The Case of the Resource Allocation ProblemLópez-Grao, Juan-Pablo / Colom, José-Manuel et al. | 2013
- 14
-
Diagnosis of Petri NetsCabasino, Maria Paola / Giua, Alessandro / Seatzu, Carla et al. | 2013
- 15
-
Diagnosis with Petri Net UnfoldingsHaar, Stefan / Fabre, Eric et al. | 2013
- 16
-
Petri Nets with TimeBérard, Béatrice / Cabasino, Maria Paola / Di Febbraro, Angela / Giua, Alessandro / Seatzu, Carla et al. | 2013
- 17
-
The On-Line Diagnosis of Time Petri NetsBoel, René K. / Jiroveanu, George et al. | 2013
- 18
-
Introduction to Fluid Petri NetsVázquez, C. Renato / Mahulea, Cristian / Júlvez, Jorge / Silva, Manuel et al. | 2013
- 19
-
Continuous Petri Nets: Observability and DiagnosisMahulea, Cristian / Júlvez, Jorge / Vázquez, C. Renato / Silva, Manuel et al. | 2013
- 20
-
Continuous Petri Nets: Controllability and ControlJúlvez, Jorge / Vázquez, C. Renato / Mahulea, Cristian / Silva, Manuel et al. | 2013
- 21
-
Discrete-Event Systems in a Dioid Framework: Modeling and AnalysisBrunsch, Thomas / Raisch, Jörg / Hardouin, Laurent / Boutin, Olivier et al. | 2013
- 22
-
Discrete-Event Systems in a Dioid Framework: Control TheoryHardouin, Laurent / Boutin, Olivier / Cottenceau, Bertrand / Brunsch, Thomas / Raisch, Jörg et al. | 2013