Decentralized Control of Discrete-Event Systems With Bounded or Unbounded Delay Communication
From MaRDI portal
Publication:5273868
DOI10.1109/TAC.2004.834116zbMath1365.93022OpenAlexW2071367517MaRDI QIDQ5273868
Publication date: 12 July 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/tac.2004.834116
Related Items
Robust decentralized diagnosability of networked discrete event systems against DoS and deception attacks ⋮ Networked supervisor synthesis against lossy channels with bounded network delays as non-networked synthesis ⋮ Undecidable problems of decentralized observation and control on regular languages ⋮ Supervisory control of discrete event systems with communication delays and partial observations ⋮ Deterministic supervisory control with flexible upper-bounds on observation delay and control delay ⋮ Decentralized supervisory control of discrete event systems with communication delays based on conjunctive and permissive decision structures ⋮ Decentralized observability of discrete event systems with synchronizations ⋮ Networked opacity for finite state machine with bounded communication delays ⋮ Cooperative control of networked discrete-event systems: application to the handling system HANS ⋮ Modular discrete time approximations of distributed hybrid automata ⋮ Overview of networked supervisory control with imperfect communication channels ⋮ Nonblocking supervisory control of timed discrete event systems under communication delays: the existence conditions ⋮ Delay-robustness in distributed control of timed discrete-event systems based on supervisor localisation ⋮ Succinct discrete time approximations of distributed hybrid automata ⋮ Accurate hybridization of nonlinear systems ⋮ Compositional analysis for linear control systems ⋮ On integration of event-based estimation and robust MPC in a feedback loop ⋮ From synchronous programs to symbolic representations of hybrid systems ⋮ A descent algorithm for the optimal control of constrained nonlinear switched dynamical systems ⋮ Timed automata with observers under energy constraints ⋮ Real-time scheduling of mixture-of-experts systems with limited resources ⋮ On a control algorithm for time-varying processor availability ⋮ Timed I/O automata ⋮ Receding horizon control for temporal logic specifications ⋮ Synthesis using approximately bisimilar abstractions ⋮ Oscillation analysis of linearly coupled piecewise affine systems ⋮ On infinity norms as Lyapunov functions for piecewise affine systems ⋮ Identifiability of discrete-time linear switched systems ⋮ Rank properties of poincare maps for hybrid systems with applications to bipedal walking ⋮ Stealthy deception attacks on water SCADA systems ⋮ Comparison of overapproximation methods for stability analysis of networked control systems ⋮ Distributed Kalman Filter algorithms for self-localization of mobile devices ⋮ Convergence results for ant routing algorithms viastochastic approximation ⋮ Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems ⋮ Automatic invariant generation for hybrid systems using ideal fixed points ⋮ Safe compositional network sketches ⋮ Bayesian statistical model checking with application to Simulink/Stateflow verification ⋮ On the connections between PCTL and dynamic programming ⋮ Modeling and verification of stochastic hybrid systems using HIOA ⋮ A generating function approach to the stability of discrete-time switched linear systems ⋮ Stabilization of planar switched linear systems using polar coordinates ⋮ Amir Pnueli and the dawn of hybrid systems ⋮ Decentralized control of networked discrete event systems with communication delays ⋮ Indecision and delays are the parents of failure -- taming them algorithmically by synthesizing delay-resilient control ⋮ Distributed supervisory control of discrete-event systems with communication delay ⋮ Distributed Control of Discrete-Event Systems: A First Step ⋮ Robust and nonblocking supervisory control of nondeterministic discrete event systems with communication delay and partial observation ⋮ Stability Criterion of 2-D Positive Systems with Unbounded Delays Described by Roesser Model ⋮ Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation ⋮ A Summary of Some Discrete-Event System Control Problems ⋮ Nonblocking and deterministic decentralized control for networked discrete event systems under communication delays ⋮ Delay-coobservability and its algebraic properties for the decentralized supervisory control of discrete event systems with communication delays ⋮ Automating the addition of fault tolerance with discrete controller synthesis ⋮ An Overview of Synchronous Communication for Control of Decentralized Discrete-Event Systems ⋮ Robustness of synchronous communication protocols with delay for decentralized discrete-event control ⋮ Localisation-based distributed control of timed discrete-event systems with communication delay
