Stability analysis and controller synthesis for hybrid dynamical systems

@article{Heemels2010StabilityAA,
  title={Stability analysis and controller synthesis for hybrid dynamical systems},
  author={W.P.M.H. Heemels and Bart de Schutter and Jan Lunze and Mircea Lazar},
  journal={Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences},
  year={2010},
  volume={368},
  pages={4937 - 4960}
}
  • W. Heemels, B. de Schutter, +1 author M. Lazar
  • Published 2010
  • Biology, Computer Science, Medicine
  • Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Wherever continuous and discrete dynamics interact, hybrid systems arise. This is especially the case in many technological systems in which logic decision-making and embedded control actions are combined with continuous physical processes. Also for many mechanical, biological, electrical and economical systems the use of hybrid models is essential to adequately describe their behaviour. To capture the evolution of these systems, mathematical models are needed that combine in one way or another… Expand
Stabilizing Dynamic Controllers for Hybrid Systems: A Hybrid Control Lyapunov Function Approach
TLDR
A dynamic controller structure and a systematic design procedure for stabilizing discrete-time hybrid systems based on the concept of control Lyapunov functions (CLFs), which allows the compositional design of a discrete and a continuous part of the CLF, and it is formally proved that the existence of a hybrid CLF guarantees theexistence of a classical CLF. Expand
Nonsmooth dynamical systems : on stability of hybrid trajectories and bifurcations of discontinuous systems
Nonsmooth and hybrid dynamical systems can represent complex behaviour occurring in engineer- ing, physics, biology, and economy. The benets of nonsmooth and hybrid systems are two-fold. Firstly,Expand
Hybrid System Control Using Discrete State Space Analysis
This paper proposes a complementary discrete state space formulation of hybrid automata model in order to consider, in a systematical and visual way, internal and external influences to a hybridExpand
Stabilizing Dynamic Control Design for Hybrid Systems : A Hybrid Control Lyapunov Function Approach
This paper proposes a dynamic controller structure and a systematic design procedure for stabilizing discrete-time hybrid systems. The proposed approach is based on the concept of control LyapunovExpand
Theory of hybrid dynamical systems and its applications to biological and medical systems
  • K. Aihara, Hideyuki Suzuki
  • Computer Science, Medicine
  • Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
  • 2010
TLDR
This Issue is not only general to serve as a survey of recent progress in hybrid systems theory but also specific to introduce interesting and stimulating applications of hybrid systems in biology and medicine. Expand
Hybrid control lyapunov functions for the stabilization of hybridsystems
TLDR
This paper provides a constructive procedure to design a hybrid CLF and the corresponding dynamic control law, which is stabilizing because of the established connection to a standard CLF that becomes a Lyapunov function for the closed-loop system. Expand
The tracking control for a kind of hybrid systems based on the double regulation control mechanism
  • Wei Wang
  • Mathematics, Computer Science
  • 2012 IEEE International Conference on Control Applications
  • 2012
TLDR
The mean function for the hybrid system is introduced, and it is translated into an uncertain system, and the method of tracking-differentiators (TD) is used which can make the tracking for non-smooth signals efficiently. Expand
Improved ℒ2-gain analysis for a class of hybrid systems with applications to reset and event-triggered control
TLDR
This paper considers a special class of hybrid systems with periodic time-triggered jump conditions, and in which the jump map has a piecewise linear character, and presents novel conditions to do so which are significantly less conservative than the existing ones in literature. Expand
Distance function design and Lyapunov techniques for the stability of hybrid trajectories
TLDR
A generic distance function is designed that can be used to circumvent the so-called "peaking phenomenon" when using the Euclidean distance to compare two hybrid trajectories, and a tracking controller is presented that asymptotically stabilises a given hybrid reference trajectory. Expand
Tracking Control for Hybrid Systems With State-Triggered Jumps
TLDR
A novel definition of the tracking error is proposed that overcomes this problem and Lyapunov-based conditions for the global asymptotic stability of the hybrid reference trajectory are formulated. Expand
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 125 REFERENCES
Hybrid dynamical systems
Robust stability and control for systems that combine continuous-time and discrete-time dynamics. This article is a tutorial on modeling the dynamics of hybrid systems, on the elements of stabilityExpand
A unified framework for hybrid control: model and optimal control theory
TLDR
This work introduces a mathematical model of hybrid systems as interacting collections of dynamical systems, evolving on continuous-variable state spaces and subject to continuous controls and discrete transitions, and develops a theory for synthesizing hybrid controllers for hybrid plants in all optimal control framework. Expand
Control of systems integrating logic, dynamics, and constraints
TLDR
A predictive control scheme is proposed which is able to stabilize MLD systems on desired reference trajectories while fulfilling operating constraints, and possibly take into account previous qualitative knowledge in the form of heuristic rules. Expand
Verification and Control of Hybrid Systems - A Symbolic Approach
TLDR
This book addresses problems of verification and controller synthesis for hybrid systems by systematic presentation of classes of hybrid systems that admit symbolic or finite models along with the relationships between the hybrid systems and the corresponding symbolic models. Expand
Hybrid Systems: Computation and Control
TLDR
This volume contains the proceedings of the First International Workshop on Hybrid Systems: Computation and Control, HSCC'98, organized April 13-15, 1998, at the University of California, Berkeley, and focuses on mathematical methods for the rigorous and systematic design and analysis of hybrid systems. Expand
On hybrid systems and closed-loop MPC systems
TLDR
This paper provides a simple and direct proof that the closed-loop system is a subclass of any of the former five classes of hybrid systems, as it opens up the use of tools developed for the mentioned hybrid model classes, such as (robust) stability and safety analysis tools, to study closed- loop properties of MPC. Expand
Stability Criteria for Switched and Hybrid Systems
TLDR
This paper considers the stability of switched systems in which there are constraints on the switching rules, through both dwell-time requirements and state-dependent switching laws, and discusses the theory of Lyapunov functions and the existence of converse theorems. Expand
On the existence and uniqueness of solution trajectories to hybrid dynamical systems
TLDR
This paper intends to provide a survey on the available results on existence and uniqueness of solutions for given initial conditions in the context of various description formats for hybrid systems. Expand
Perspectives and results on the stability and stabilizability of hybrid systems
This paper introduces the concept of a hybrid system and some of the challenges associated with the stability of such systems, including the issues of guaranteeing stability of switched stableExpand
Optimal control of switched systems based on parameterization of the switching instants
TLDR
A method which first transcribes an optimal control problem into an equivalent problem parameterized by the switching instants and then obtains the values of the derivatives based on the solution of a two point boundary value differential algebraic equation formed by the state, costate, stationarity equations, the boundary and continuity conditions, along with their differentiations is developed. Expand
...
1
2
3
4
5
...