A temporal logic approach to discrete event control for the safety canonical class

DOI10.1016/0167-6911(96)00032-1zbMath0866.93005MaRDI QIDQ671584

Juan-Miguel Gracia

Publication date: 27 February 1997

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

Full work available at URL: https://doi.org/10.1016/0167-6911(96)00032-1

zbMATH Keywords

supervisory control; temporal logic; discrete event systems; discrete event control; safety canonical class

Mathematics Subject Classification ID

93A13: Hierarchical systems

93C30: Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)

93C99: Model systems in control theory