Hybrid Systems: Computation and Control
From MaRDI portal
Publication:5307451
DOI10.1007/B96398zbMATH Open1133.68359OpenAlexW2476491145MaRDI QIDQ5307451FDOQ5307451
Authors: P. S. Thiagarajan, Manindra Agrawal 
Publication date: 25 September 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b96398
Recommendations
Cited In (33)
- Amir Pnueli and the dawn of hybrid systems
- On integration of event-based estimation and robust MPC in a feedback loop
- Modular discrete time approximations of distributed hybrid automata
- Modeling and verification of stochastic hybrid systems using HIOA: a case study on DNA replication
- Timed I/O automata: a complete specification theory for real-time systems
- Oscillation analysis of linearly coupled piecewise affine systems
- Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces
- Timed automata with observers under energy constraints
- Safe compositional network sketches: formal framework
- Automatic invariant generation for hybrid systems using ideal fixed points
- Rank properties of Poincaré maps for hybrid systems with applications to bipedal walking
- On the connections between PCTL and dynamic programming
- Accurate hybridization of nonlinear systems
- Identifiability of discrete-time linear switched systems
- A generating function approach to the stability of discrete-time switched linear systems
- Convergence results for ant routing algorithms viastochastic approximation
- On a control algorithm for time-varying processor availability
- Real-time scheduling of mixture-of-experts systems with limited resources
- Stabilization of planar switched linear systems using polar coordinates
- Synthesis using approximately bisimilar abstractions, state-feedback controllers for safety specifications
- Bayesian statistical model checking with application to Simulink/Stateflow verification
- On infinity norms as Lyapunov functions for piecewise affine systems
- Succinct discrete time approximations of distributed hybrid automata
- From synchronous programs to symbolic representations of hybrid systems
- Distributed Kalman filter algorithms for self-localization of mobile devices
- A descent algorithm for the optimal control of constrained nonlinear switched dynamical systems
- Hybrid Systems: Computation and Control
- Monte-Carlo techniques for falsification of temporal properties of non-linear hybrid systems
- Stealthy deception attacks on water SCADA systems
- Receding horizon control for temporal logic specifications
- Comparison of overapproximation methods for stability analysis of networked control systems
- Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space
- Compositional analysis for linear control systems
This page was built for publication: Hybrid Systems: Computation and Control
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5307451)
