Decentralized Control of Discrete-Event Systems With Bounded or Unbounded Delay Communication

From MaRDI portal
Revision as of 20:39, 8 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5273868

DOI10.1109/TAC.2004.834116zbMath1365.93022OpenAlexW2071367517MaRDI QIDQ5273868

Stavros Tripakis

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 (56)

Robust decentralized diagnosability of networked discrete event systems against DoS and deception attacksNetworked supervisor synthesis against lossy channels with bounded network delays as non-networked synthesisUndecidable problems of decentralized observation and control on regular languagesSupervisory control of discrete event systems with communication delays and partial observationsDeterministic supervisory control with flexible upper-bounds on observation delay and control delayDecentralized supervisory control of discrete event systems with communication delays based on conjunctive and permissive decision structuresDecentralized observability of discrete event systems with synchronizationsNetworked opacity for finite state machine with bounded communication delaysCooperative control of networked discrete-event systems: application to the handling system HANSModular discrete time approximations of distributed hybrid automataOverview of networked supervisory control with imperfect communication channelsNonblocking supervisory control of timed discrete event systems under communication delays: the existence conditionsDelay-robustness in distributed control of timed discrete-event systems based on supervisor localisationSuccinct discrete time approximations of distributed hybrid automataAccurate hybridization of nonlinear systemsCompositional analysis for linear control systemsOn integration of event-based estimation and robust MPC in a feedback loopFrom synchronous programs to symbolic representations of hybrid systemsA descent algorithm for the optimal control of constrained nonlinear switched dynamical systemsTimed automata with observers under energy constraintsReal-time scheduling of mixture-of-experts systems with limited resourcesOn a control algorithm for time-varying processor availabilityTimed I/O automataReceding horizon control for temporal logic specificationsSynthesis using approximately bisimilar abstractionsOscillation analysis of linearly coupled piecewise affine systemsOn infinity norms as Lyapunov functions for piecewise affine systemsIdentifiability of discrete-time linear switched systemsRank properties of poincare maps for hybrid systems with applications to bipedal walkingStealthy deception attacks on water SCADA systemsComparison of overapproximation methods for stability analysis of networked control systemsDistributed Kalman Filter algorithms for self-localization of mobile devicesConvergence results for ant routing algorithms viastochastic approximationMonte-carlo techniques for falsification of temporal properties of non-linear hybrid systemsAutomatic invariant generation for hybrid systems using ideal fixed pointsSafe compositional network sketchesBayesian statistical model checking with application to Simulink/Stateflow verificationOn the connections between PCTL and dynamic programmingModeling and verification of stochastic hybrid systems using HIOAA generating function approach to the stability of discrete-time switched linear systemsStabilization of planar switched linear systems using polar coordinatesAmir Pnueli and the dawn of hybrid systemsDecentralized control of networked discrete event systems with communication delaysIndecision and delays are the parents of failure -- taming them algorithmically by synthesizing delay-resilient controlDistributed supervisory control of discrete-event systems with communication delayDistributed Control of Discrete-Event Systems: A First StepRobust and nonblocking supervisory control of nondeterministic discrete event systems with communication delay and partial observationStability Criterion of 2-D Positive Systems with Unbounded Delays Described by Roesser ModelCodiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observationA Summary of Some Discrete-Event System Control ProblemsNonblocking and deterministic decentralized control for networked discrete event systems under communication delaysDelay-coobservability and its algebraic properties for the decentralized supervisory control of discrete event systems with communication delaysAutomating the addition of fault tolerance with discrete controller synthesisAn Overview of Synchronous Communication for Control of Decentralized Discrete-Event SystemsRobustness of synchronous communication protocols with delay for decentralized discrete-event controlLocalisation-based distributed control of timed discrete-event systems with communication delay






This page was built for publication: Decentralized Control of Discrete-Event Systems With Bounded or Unbounded Delay Communication