Discrete-event control of nondeterministic systems

DOI10.1109/9.654883MaRDI QIDQ4395809zbMATH OpenOpenAlexFDO

Authors 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

discrete-event systemsnondeterminismsupervisory controltrajectory-model

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 744043
• scientific article; zbMATH DE number 1086786
• Nonblocking supervisory control of nondeterministic systems via prioritized synchronization
• Supervisory Control of Nondeterministic Systems with Driven Events via Prioritized Synchronization and Trajectory Models
• Robust and nonblocking supervisory control of nondeterministic discrete event systems with communication delay and partial observation

Cited in

(27)

• On controllability and normality of discrete event dynamical systems
• A class of non-deterministic specifications for supervisory control
• Control design for nondeterministic input/output automata
• Verification of asynchronous systems with an unspecified component
• Employing behavioral preorders to define controllability for nondeterministic discrete-event systems
• Compositionality issues in discrete, continuous, and hybrid systems
• Control of large discrete event systems: constructive algorithms
• Dealing with Nondeterminism in Symbolic Control
• Verifying a class of nondeterministic discrete event systems in a generalized temporal logic
• Supervisory control using failure semantics and partial specifications
• scientific article; zbMATH DE number 1086786 (Why is no real title available?)
• Modeling and control of discrete event systems using finite state machines with variables and their applications in power grids
• Supervisory Control of Nondeterministic Systems with Driven Events via Prioritized Synchronization and Trajectory Models
• Model Uncertainty in Discrete Event Systems
• scientific article; zbMATH DE number 744043 (Why is no real title available?)
• scientific article; zbMATH DE number 1852194 (Why is no real title available?)
• Concurrent vector discrete-event systems
• Verification of safe diagnosability of stochastic discrete-event systems
• Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence
• Nonblocking check in fuzzy discrete event systems based on observation equivalence
• Generalized detectability for discrete event systems
• Robust and nonblocking supervisory control of nondeterministic discrete event systems with communication delay and partial observation
• Realization for causal nondeterministic input-output systems
• A survey on compositional algorithms for verification and synthesis in supervisory control
• Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications
• Analysis and control of fuzzy discrete event systems using bisimulation equivalence
• Control of parameterized discrete event systems

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4395809)