Control of discrete-event systems. Automata and Petri net perspectives
From MaRDI portal
Publication:441162
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
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