Invariant Sets and Control Synthesis for Switching Systems with Safety Specifications

Authors:
Luca Berardi;Elena De Santis;Maria Domenica Di Benedetto
Affiliations:
-;-;-
Venue:
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Year:
2000

Citing 5
Cited 1

Viability theory

Viability theory
Nonquadratic Lyapunov functions for robust control

Automatica (Journal of IFAC)
Synthesizing Controllers for Nonlinear Hybrid Systems

HSCC '98 Proceedings of the First International Workshop on Hybrid Systems: Computation and Control
Controllers for reachability specifications for hybrid systems

Automatica (Journal of IFAC)
Hybrid control in automotive applications: the cut-off control

Automatica (Journal of IFAC)

Brief Doubly invariant equilibria of linear discrete-time games

Automatica (Journal of IFAC)

Quantified Score

Hi-index	0.00

Visualization

Abstract

A structural procedure is proposed for solving the problem of maximal safe-set determination based on maximal controlled invariant sets. However, the procedure is not guaranteed to converge in a finite number of steps. The procedure is made computationally appealing first by linearizing and discretizing the dynamical systems and, second, by using an inner approximation of these sets that, together with the classical outer approximation, yields tight bounds for an error due to the truncation of the procedure after a finite number of steps. The theory is applied to idle-speed regulation in engine control.