Control of discrete-event systems. Automata and Petri net perspectives

DOI10.1007/978-1-4471-4276-8zbMath1254.93007OpenAlexW2505803570MaRDI QIDQ441162

No author found.

Publication date: 20 August 2012

Published in: Lecture Notes in Control and Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-4471-4276-8

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45) Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Discrete event control/observation systems (93C65) Proceedings, conferences, collections, etc. pertaining to systems and control theory (93-06)

Related Items

Individuals, populations and fluid approximations: a Petri net based perspective, Supervisory Control of Discrete-Event Systems, Decidability of opacity verification problems in labeled Petri net systems, Liveness enforcement for production systems modeled by time Petri nets, Supervisory control of discrete-event systems under external attacks, Supervisory control and reactive synthesis: a comparative introduction, Resource failure and buffer space allocation control for automated manufacturing systems, Codiagnosability and coobservability under dynamic observations: transformation and verification, Control: a perspective, A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems, State-based fault diagnosis of discrete-event systems with partially observable outputs, An improved approach for marking optimization of timed weighted marked graphs, Behaviour equivalent max-plus automata for timed Petri nets under open-loop race-policy semantics