Nonblocking Supervisory Control of Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions
From MaRDI portal
Publication:2980649
DOI10.1109/TAC.2015.2449051zbMath1359.93290OpenAlexW2291721834MaRDI QIDQ2980649
Shigemasa Takai, Toshimitsu Ushio
Publication date: 3 May 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/tac.2015.2449051
Related Items (10)
A general framework for diagnosis of discrete event systems subject to sensor failures ⋮ Diagnosability of intermittent sensor faults in discrete event systems ⋮ Supervisory control of discrete-event systems under external attacks ⋮ Supervisory control of state-tree structures with partial observation ⋮ Trajectory detectability of discrete-event systems ⋮ Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems ⋮ Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation ⋮ Supervisory control of discrete-event systems under attacks ⋮ Nonblocking and deterministic decentralized control for networked discrete event systems under communication delays ⋮ On the static output feedback stabilisation of discrete event dynamic systems based upon the approach of semi-tensor product of matrices
This page was built for publication: Nonblocking Supervisory Control of Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions
