Pages that link to "Item:Q5273868"
From MaRDI portal
The following pages link to Decentralized Control of Discrete-Event Systems With Bounded or Unbounded Delay Communication (Q5273868):
Displaying 50 items.
- Modular discrete time approximations of distributed hybrid automata (Q418807) (← links)
- Decentralized control of networked discrete event systems with communication delays (Q466288) (← links)
- Distributed supervisory control of discrete-event systems with communication delay (Q503030) (← links)
- Supervisory control of discrete event systems with communication delays and partial observations (Q864581) (← links)
- Decentralized supervisory control of discrete event systems with communication delays based on conjunctive and permissive decision structures (Q880441) (← links)
- Delay-coobservability and its algebraic properties for the decentralized supervisory control of discrete event systems with communication delays (Q1023147) (← links)
- Automating the addition of fault tolerance with discrete controller synthesis (Q1041296) (← links)
- Decentralized observability of discrete event systems with synchronizations (Q1679893) (← links)
- Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation (Q1788691) (← links)
- Nonblocking and deterministic decentralized control for networked discrete event systems under communication delays (Q2058568) (← links)
- Robust decentralized diagnosability of networked discrete event systems against DoS and deception attacks (Q2123407) (← links)
- Networked supervisor synthesis against lossy channels with bounded network delays as non-networked synthesis (Q2151821) (← links)
- Deterministic supervisory control with flexible upper-bounds on observation delay and control delay (Q2165979) (← links)
- Indecision and delays are the parents of failure -- taming them algorithmically by synthesizing delay-resilient control (Q2231651) (← links)
- Robustness of synchronous communication protocols with delay for decentralized discrete-event control (Q2348364) (← links)
- Undecidable problems of decentralized observation and control on regular languages (Q2390212) (← links)
- Nonblocking supervisory control of timed discrete event systems under communication delays: the existence conditions (Q2440686) (← links)
- Cooperative control of networked discrete-event systems: application to the handling system HANS (Q2681166) (← links)
- Stability Criterion of 2-D Positive Systems with Unbounded Delays Described by Roesser Model (Q2789955) (← links)
- Delay-robustness in distributed control of timed discrete-event systems based on supervisor localisation (Q2979535) (← links)
- Succinct discrete time approximations of distributed hybrid automata (Q2985857) (← links)
- Accurate hybridization of nonlinear systems (Q2985859) (← links)
- Compositional analysis for linear control systems (Q2985860) (← links)
- On integration of event-based estimation and robust MPC in a feedback loop (Q2985861) (← links)
- From synchronous programs to symbolic representations of hybrid systems (Q2985863) (← links)
- A descent algorithm for the optimal control of constrained nonlinear switched dynamical systems (Q2985865) (← links)
- Timed automata with observers under energy constraints (Q2985866) (← links)
- Real-time scheduling of mixture-of-experts systems with limited resources (Q2985868) (← links)
- On a control algorithm for time-varying processor availability (Q2985869) (← links)
- Timed I/O automata (Q2985870) (← links)
- Receding horizon control for temporal logic specifications (Q2985871) (← links)
- Synthesis using approximately bisimilar abstractions (Q2985872) (← links)
- Oscillation analysis of linearly coupled piecewise affine systems (Q2985873) (← links)
- On infinity norms as Lyapunov functions for piecewise affine systems (Q2985874) (← links)
- Identifiability of discrete-time linear switched systems (Q2985875) (← links)
- Rank properties of poincare maps for hybrid systems with applications to bipedal walking (Q2985876) (← links)
- Stealthy deception attacks on water SCADA systems (Q2985877) (← links)
- Comparison of overapproximation methods for stability analysis of networked control systems (Q2985878) (← links)
- Distributed Kalman Filter algorithms for self-localization of mobile devices (Q2985880) (← links)
- Convergence results for ant routing algorithms viastochastic approximation (Q2985881) (← links)
- Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems (Q2985883) (← links)
- Automatic invariant generation for hybrid systems using ideal fixed points (Q2985884) (← links)
- Safe compositional network sketches (Q2985887) (← links)
- Bayesian statistical model checking with application to Simulink/Stateflow verification (Q2985888) (← links)
- On the connections between PCTL and dynamic programming (Q2985889) (← links)
- Modeling and verification of stochastic hybrid systems using HIOA (Q2985890) (← links)
- A generating function approach to the stability of discrete-time switched linear systems (Q2985891) (← links)
- Stabilization of planar switched linear systems using polar coordinates (Q2985893) (← links)
- Amir Pnueli and the dawn of hybrid systems (Q2985894) (← links)
- A Summary of Some Discrete-Event System Control Problems (Q3073615) (← links)