scientific article
From MaRDI portal
Publication:3727828
zbMath0595.93047MaRDI QIDQ3727828
Peter J. Ramadge, W. Murray Wonham
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Synthesis problems (93B50) Algebraic theory of languages and automata (68Q70) Theory of operating systems (68N25) Model systems in control theory (93C99)
Related Items (63)
Permissive strategies: from parity games to safety games ⋮ Designing parsimonious scheduling policies for complex resource allocation systems through concurrency theory ⋮ Efficient robust supervisors for discrete event systems ⋮ On observability of discrete-event systems ⋮ Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places ⋮ Petri net controllers for generalized mutual exclusion constraints with floor operators ⋮ A note on controllability of deterministic context-free~systems ⋮ State based control of timed discrete event systems using binary decision diagrams ⋮ Application of supervisory control theory to theme park vehicles ⋮ Modular supervisory control of discrete-event systems ⋮ Computationally improved optimal control methodology for linear programming problems of flexible manufacturing systems ⋮ On the control of discrete-event dynamical systems ⋮ Supervisory control of discrete event systems ⋮ Diagnosability of intermittent sensor faults in discrete event systems ⋮ Control of \(\omega\)-automata under state fairness assumptions ⋮ On conditional decomposability ⋮ Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication ⋮ Empirical studies in the size of diagnosers and verifiers for diagnosability analysis ⋮ Robust diagnosis of discrete event systems against intermittent loss of observations ⋮ Supervisory control and reactive synthesis: a comparative introduction ⋮ Falsification of combined invariance and reachability specifications in hybrid control systems ⋮ Supervisory control synthesis of discrete-event systems using a coordination scheme ⋮ Supervisory control of modular systems with global specification languages ⋮ Modeling and control of discrete event systems using finite state machines with variables and their applications in power grids ⋮ Incremental model evolution and reusability of supervisors for discrete event systems ⋮ Incremental hierarchical construction of modular supervisors for discrete-event systems ⋮ Petri net languages and infinite subsets of \(\mathbb{N}^m\) ⋮ Supervisory control of hybrid systems within a behavioural framework ⋮ On nonconflicting languages that arise in supervisory control of discrete event systems ⋮ A temporal logic approach to discrete event control for the safety canonical class ⋮ Control of discrete-event systems with modular or distributed structure ⋮ Minimal sensor activation and minimal communication in discrete-event systems ⋮ Control of large scale discrete event systems: task allocation and coordination ⋮ On-line compositional controller synthesis for AGV ⋮ Detectability of discrete event systems with dynamic event observation ⋮ Abstraction-based failure diagnosis for discrete event systems ⋮ Decentralized supervisory control of discrete event systems with nonhomogeneous control structure ⋮ Generalized detectability for discrete event systems ⋮ Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator ⋮ Optimal control of discrete-time hybrid automata under safety and liveness constraints ⋮ Multi-level hierarchical interface-based supervisory control ⋮ Undecidability in decentralized supervision ⋮ On computation of supremal controllable, normal sublanguages ⋮ Distributed computation of supremal conditionally controllable sublanguages ⋮ State Complexity of Projected Languages ⋮ An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions ⋮ Formulas for a class of controllable and observable sublanguages larger than the supremal controllable and normal sublanguage ⋮ State estimation and detectability of probabilistic discrete event systems ⋮ Locked discrete event systems: How to model and how to unlock ⋮ Controller synthesis for bisimulation equivalence ⋮ Formulas for calculating supremal controllable and normal sublanguages ⋮ Abstraction-Based Verification and Synthesis for Prognosis of Discrete Event Systems ⋮ On the design of correct and optimal dynamical systems and games ⋮ Decentralized supervisory control of discrete-event systems ⋮ A decidable class of problems for control under partial observation ⋮ Theorem of abstraction for equivalent controllers in hybrid systems ⋮ Progressive events in supervisory control and compositional verification ⋮ Complexity of node coverage games ⋮ On-the-fly informed search of non-blocking directed controllers ⋮ Enforcing opacity of regular predicates on modal transition systems ⋮ A hybrid fault detection and isolation strategy for a team of cooperating unmanned vehicles ⋮ Decentralized state feedback control of discrete event systems ⋮ Multitasking supervisory control of discrete-event systems
This page was built for publication:
