Discrete-event control of nondeterministic systems

DOI10.1109/9.654883zbMath0991.93060OpenAlexW2097061575MaRDI QIDQ4395809

Michael Heymann, Feng Lin

Publication date: 1 September 2002

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/9.654883

zbMATH Keywords

supervisory controldiscrete-event systemsnondeterminismtrajectory-model

Mathematics Subject Classification ID

Hierarchical systems (93A13) Stochastic systems in control theory (general) (93E03) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (10)

A survey on compositional algorithms for verification and synthesis in supervisory control ⋮ Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications ⋮ Modeling and control of discrete event systems using finite state machines with variables and their applications in power grids ⋮ Compositionality issues in discrete, continuous, and hybrid systems ⋮ Verification of asynchronous systems with an unspecified component ⋮ Nonblocking check in fuzzy discrete event systems based on observation equivalence ⋮ Generalized detectability for discrete event systems ⋮ Analysis and control of fuzzy discrete event systems using bisimulation equivalence ⋮ Employing behavioral preorders to define controllability for nondeterministic discrete-event systems ⋮ Verification of safe diagnosability of stochastic discrete-event systems

This page was built for publication: Discrete-event control of nondeterministic systems