Observability of discrete event dynamic systems
From MaRDI portal
Publication:3493237
DOI10.1109/9.57018zbMath0709.68030OpenAlexW2171225490MaRDI 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
Related Items
Diagnosability of discrete event systems and its applications ⋮ A uniform approach to mixed-signal circuit test ⋮ Observability of lattice graphs ⋮ Discrete state observability of hybrid systems ⋮ Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures ⋮ An improved approach for verifying delayed detectability of discrete-event systems ⋮ 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 ⋮ On detectability of Boolean control networks ⋮ Verification of detectability in probabilistic finite automata ⋮ Decentralized observability of discrete event systems with synchronizations ⋮ Unnamed Item ⋮ Necessary and sufficient conditions for distinguishability of linear control systems ⋮ Supervisory control of discrete-event systems under external attacks ⋮ Detectability in stochastic discrete event systems ⋮ I-S detectability of partially-observed discrete event systems: a novel matrix-based method ⋮ 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 ⋮ Trajectory detectability of discrete-event systems ⋮ Privacy preserving minimal observability for composite transactional services ⋮ Deciding detectability for labeled Petri nets ⋮ State Estimation and Fault Detection Using Petri Nets ⋮ A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems ⋮ Aggregation and multi-level control in discrete event dynamic systems ⋮ Invertibility of discrete-event dynamic systems ⋮ Centralized modular diagnosis and the phenomenon of coupling ⋮ Generalized detectability for discrete event systems ⋮ Observable graphs ⋮ State observability and condition observability for a class of interacting discrete event systems ⋮ Input-output finite-time stabilization of a class of nonlinear hybrid systems based on FSM with MDADT ⋮ Discrete state estimators for systems on a lattice ⋮ State estimation of \(\lambda\)-free labeled Petri nets with contact-free nondeterministic transitions ⋮ Optimal control of discrete-time hybrid automata under safety and liveness constraints ⋮ Opacity of discrete event systems and its applications ⋮ Logical models of discrete even systems: a comparative exposition ⋮ State estimation of max-plus automata with unobservable events ⋮ Digital idle speed control of automotive engines: a safety problem for hybrid systems ⋮ Detectability of networked discrete event systems ⋮ On-line monitoring of large Petri net models under partial observation ⋮ Complexity of deciding detectability in discrete event systems ⋮ The distinguishability of linear control systems ⋮ State estimation and detectability of probabilistic discrete event systems ⋮ On the corrective control of sequential machines ⋮ Analysis of strong and strong periodic detectability of bounded labeled Petri nets ⋮ Cascade estimators for systems on a partial order ⋮ On verification of D-detectability for discrete event systems ⋮ Unnamed Item ⋮ A simple fault tolerant control for input/output asynchronous sequential machines
