Trajectory-based theory for hybrid systems

DOI10.1007/978-3-319-20988-3_20MaRDI QIDQ4558883zbMATHOpenAlexFDO

Authors Agung Julius

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

zbMATH Keywords

hybrid systemcontroller synthesishybrid automatonstate trajectorydiscrete trajectory

Mathematics Subject Classification ID

Sensitivity (robustness) (93B35) Attainable sets, reachability (93B03) Synthesis problems (93B50) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Recommendations

• Robustness of trajectories with finite time extent
• Safe \& robust reachability analysis of hybrid systems
• Hybrid Systems: Computation and Control
• Safety and reachability of piecewise linear hybrid dynamical systems based on discrete abstractions
• An introduction to hybrid dynamical systems

Cites work

• scientific article; zbMATH DE number 5816478 (Why is no real title available?)
• scientific article; zbMATH DE number 46299 (Why is no real title available?)
• scientific article; zbMATH DE number 53580 (Why is no real title available?)
• scientific article; zbMATH DE number 1100439 (Why is no real title available?)
• scientific article; zbMATH DE number 1956626 (Why is no real title available?)
• A `universal' construction of Artstein's theorem on nonlinear stabilization
• An introduction to hybrid dynamical systems
• Analysis and control of nonlinear systems. A flatness-based approach
• Approximate bisimulation relations for constrained linear systems
• Approximate simulation relations for hybrid systems
• Approximation Metrics for Discrete and Continuous Systems
• Approximations of Stochastic Hybrid Systems
• Compositional abstractions of hybrid control systems
• Compositional modeling and refinement for hierarchical hybrid systems
• Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems
• Conflict resolution for air traffic management: a study in multiagent hybrid systems
• Differentially flat systems.
• Discrete state observability of hybrid systems
• Editorial: Observability and observer-based control of hybrid systems
• Formal Methods in Computer-Aided Design
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• Linear Matrix Inequalities in System and Control Theory
• Local Identification of Piecewise Deterministic Models of Genetic Networks
• Modeling and Simulation of Biochemical Processes Using Stochastic Hybrid Systems: The Sugar Cataract Development Process
• Nonlinear systems.
• On contraction analysis for non-linear systems
• Probabilistic diagnosability of hybrid systems
• Real-time trajectory generation for differentially flat systems
• Robust Test Generation and Coverage for Hybrid Systems
• SOSTOOLS and Its Control Applications
• Stabilization with relaxed controls
• Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty
• The Switching Threshold Reconstruction Problem for Piecewise-Affine Models of Genetic Regulatory Networks
• Trajectory Based Verification Using Local Finite-Time Invariance

Cited in

(3)

• Trajectory sensitivity analysis of hybrid systems with sliding motion
• Hierarchical trajectory optimization for a class of hybrid dynamical systems
• Robust Trajectory Tracking for a Class of Hybrid Systems: An Internal Model Principle Approach

Describes a project that uses

Uses Software

• Sostools
• PHAVer
• HyTech
• MATISSE
• STRONG

This page was built for publication: Trajectory-based theory for hybrid systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4558883)