Trajectory-based theory for hybrid systems

DOI10.1007/978-3-319-20988-3_20zbMATH Open1403.93040OpenAlexW2296061539MaRDI QIDQ4558883FDOQ4558883

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

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

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)

Cites Work

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

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

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)