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
- Distributed Kalman Filter algorithms for self-localization of mobile devices
- On integration of event-based estimation and robust MPC in a feedback loop
- Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems
- Modular discrete time approximations of distributed hybrid automata
- 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
- Automatic invariant generation for hybrid systems using ideal fixed points
- Modeling and verification of stochastic hybrid systems using HIOA
- Timed I/O automata
- 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
- Safe compositional network sketches
- Stabilization of planar switched linear systems using polar coordinates
- Bayesian statistical model checking with application to Simulink/Stateflow verification
- On infinity norms as Lyapunov functions for piecewise affine systems
- Rank properties of poincare maps for hybrid systems with applications to bipedal walking
- Succinct discrete time approximations of distributed hybrid automata
- From synchronous programs to symbolic representations of hybrid systems
- A descent algorithm for the optimal control of constrained nonlinear switched dynamical systems
- Hybrid Systems: Computation and Control
- 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
- Synthesis using approximately bisimilar abstractions
- 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)
