Observability of discrete event dynamic systems

DOI10.1109/9.57018zbMath0709.68030MaRDI QIDQ3493237

Alan S. Willsky, Cüneyt M. Özveren

Publication date: 1990

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

Full work available at URL: http://hdl.handle.net/1721.1/3121

zbMATH Keywords

finite state automaton; Discrete Event Dynamic Systems

Mathematics Subject Classification ID

68Q45: Formal languages and automata

93A15: Large-scale systems

Related Items

On the corrective control of sequential machines, Unnamed Item, Logical models of discrete even systems: a comparative exposition, Observability of lattice graphs, Necessary and sufficient conditions for distinguishability of linear control systems, From classic observability to a simple fuzzy observability for fuzzy discrete-event systems, Stability and stabilization of a class of nonlinear impulsive hybrid systems based on FSM with MDADT, Privacy preserving minimal observability for composite transactional services, Generalized detectability for discrete event systems, Observable graphs, Opacity of discrete event systems and its applications, On-line monitoring of large Petri net models under partial observation, Detectability in stochastic discrete event systems, The distinguishability of linear control systems, Cascade estimators for systems on a partial order, Aggregation and multi-level control in discrete event dynamic systems, Invertibility of discrete-event dynamic systems, Diagnosability of discrete event systems and its applications, Verification of detectability in probabilistic finite automata, Decentralized observability of discrete event systems with synchronizations, Trajectory detectability of discrete-event systems, Deciding detectability for labeled Petri nets, State estimation of \(\lambda\)-free labeled Petri nets with contact-free nondeterministic transitions, Detectability of networked discrete event systems, Complexity of deciding detectability in discrete event systems, Input-output finite-time stabilization of a class of nonlinear hybrid systems based on FSM with MDADT, Centralized modular diagnosis and the phenomenon of coupling, State estimation of max-plus automata with unobservable events, A simple fault tolerant control for input/output asynchronous sequential machines, Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures, Observability and diagnosability of finite state systems: a unifying framework, The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete, State observability and condition observability for a class of interacting discrete event systems, Discrete state estimators for systems on a lattice, Optimal control of discrete-time hybrid automata under safety and liveness constraints, Digital idle speed control of automotive engines: a safety problem for hybrid systems, State estimation and detectability of probabilistic discrete event systems, Discrete state observability of hybrid systems, State Estimation and Fault Detection Using Petri Nets, Unnamed Item