State based control of timed discrete event systems using binary decision diagrams

DOI10.1016/j.sysconle.2006.07.012zbMath1120.93316OpenAlexW2126700526MaRDI QIDQ864498

Ali Saadatpoor, W. Murray Wonham

Publication date: 9 February 2007

Published in: Systems \& Control Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.sysconle.2006.07.012

zbMATH Keywords

supervisory controlBDDstate-based controlTDES

Mathematics Subject Classification ID

Control/observation systems involving computers (process control, etc.) (93C83) Discrete event control/observation systems (93C65) Synthesis problems (93B50)

Related Items (2)

State based control of timed discrete event systems using binary decision diagrams ⋮ A hierarchical consistency framework for real-time supervisory control

Uses Software

• STCT

Cites Work

• State based control of timed discrete event systems using binary decision diagrams
• Symbolic model checking: \(10^{20}\) states and beyond
• Graph-Based Algorithms for Boolean Function Manipulation
• Supervisory Control of a Class of Discrete Event Processes
• Supervisory control of timed discrete-event systems
• Unnamed Item
• Unnamed Item

This page was built for publication: State based control of timed discrete event systems using binary decision diagrams