scientific article
From MaRDI portal
Publication:3222064
zbMath0556.93045MaRDI QIDQ3222064
Peter J. Ramadge, W. Murray Wonham
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Stochastic network models in operations research (90B15) Deterministic network models in operations research (90B10) Nonlinear systems in control theory (93C10) Discrete-time control/observation systems (93C55) Circuits, networks (94C99)
Related Items (10)
Formal verification of mobile robot protocols ⋮ On observability of discrete-event systems ⋮ Modular supervisory control of discrete-event systems ⋮ A logical DES approach to the design of hybrid control systems ⋮ On the stability of asynchronous iterative processes ⋮ Asynchronous \(l\)-complete approximations ⋮ Verification of asynchronous systems with an unspecified component ⋮ Decentralized supervisory control of discrete-event systems ⋮ Generalized invariant subspaces for infinite-dimensional systems ⋮ Supervisory control synthesis for deterministic context free specification languages. Enforcing controllability least restrictively
This page was built for publication:
