Nonconflict check by using sequential automaton abstractions based on weak observation equivalence

DOI10.1016/j.automatica.2010.02.025zbMath1192.93078OpenAlexW2081177528MaRDI QIDQ976261

Jan H. van Schuppen, Albert T. Hofkamp, Jacobus E. Rooda, Rong Su

Publication date: 17 June 2010

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.automatica.2010.02.025

zbMATH Keywords

discrete-event systemsnondeterministic finite-state automataautomaton abstractionnonconflict check

Mathematics Subject Classification ID

Hierarchical systems (93A13) Discrete event control/observation systems (93C65) Cellular automata (computational aspects) (68Q80)

Related Items (11)

Consistent reduction in discrete-event systems ⋮ Conflict-preserving abstraction of discrete event systems using annotated automata ⋮ A survey on compositional algorithms for verification and synthesis in supervisory control ⋮ On the computation of counterexamples in compositional nonblocking verification ⋮ Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems ⋮ Nonblocking check in fuzzy discrete event systems based on observation equivalence ⋮ COMPOSITIONAL VERIFICATION OF THE GENERALIZED NONBLOCKING PROPERTY USING ABSTRACTION AND CANONICAL AUTOMATA ⋮ Compositional coordinator synthesis of extended finite automata ⋮ Progressive events in supervisory control and compositional verification ⋮ Local pursuit strategy-inspired cooperative trajectory planning algorithm for a class of nonlinear constrained dynamical systems ⋮ A framework for compositional nonblocking verification of extended finite-state machines

Cites Work

• Unnamed Item
• An implementation of an efficient algorithm for bisimulation equivalence
• Modular supervisory control of discrete-event systems
• On the computation of observers in discrete-event systems
• Decentralized supervisory control of discrete-event systems
• Compositional synthesis of maximally permissive supervisors using supervision equivalence
• Supervisory Control of a Class of Discrete Event Processes
• Model Abstraction of Nondeterministic Finite-State Automata in Supervisor Synthesis
• Hierarchical interface-based supervisory control-part II: parallel case
• Global and local consistencies in distributed fault diagnosis for discrete-event systems

This page was built for publication: Nonconflict check by using sequential automaton abstractions based on weak observation equivalence