Trajectory-Based Theory for Hybrid Systems
From MaRDI portal
Publication:4558883
DOI10.1007/978-3-319-20988-3_20zbMath1403.93040OpenAlexW2296061539MaRDI QIDQ4558883
Publication date: 30 November 2018
Published in: Mathematical Control Theory I (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-20988-3_20
Sensitivity (robustness) (93B35) Synthesis problems (93B50) Attainable sets, reachability (93B03) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Compositional abstractions of hybrid control systems
- Approximate simulation relations for hybrid systems
- Analysis and control of nonlinear systems. A flatness-based approach
- On contraction analysis for non-linear systems
- An introduction to hybrid dynamical systems
- A `universal' construction of Artstein's theorem on nonlinear stabilization
- Compositional modeling and refinement for hierarchical hybrid systems
- Approximate bisimulation relations for constrained linear systems
- Observability and observer-based control of hybrid systems
- Discrete state observability of hybrid systems
- Probabilistic diagnosability of hybrid systems
- Stabilization with relaxed controls
- Modeling and Simulation of Biochemical Processes Using Stochastic Hybrid Systems: The Sugar Cataract Development Process
- Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems
- Robust Test Generation and Coverage for Hybrid Systems
- Local Identification of Piecewise Deterministic Models of Genetic Networks
- Trajectory Based Verification Using Local Finite-Time Invariance
- Real-time trajectory generation for differentially flat systems
- Linear Matrix Inequalities in System and Control Theory
- Conflict resolution for air traffic management: a study in multiagent hybrid systems
- SOSTOOLS and Its Control Applications
- Approximations of Stochastic Hybrid Systems
- Approximation Metrics for Discrete and Continuous Systems
- The Switching Threshold Reconstruction Problem for Piecewise-Affine Models of Genetic Regulatory Networks
- Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty
- Hybrid Systems: Computation and Control
- Formal Methods in Computer-Aided Design
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
This page was built for publication: Trajectory-Based Theory for Hybrid Systems
