Control Synthesis of Hybrid Systems Based on Predicate Invariance

Authors:
Haoxun Chen;Hans-Michael Hanisch
Affiliations:
-;-
Venue:
Hybrid Systems V
Year:
1999

Citing 4
Cited 1

Modular feedback logic for discrete event systems

SIAM Journal on Control and Optimization
The algorithmic analysis of hybrid systems

Theoretical Computer Science - Special issue on hybrid systems
A User Guide to HyTech

TACAS '95 Proceedings of the First International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Analysis of Slope-Parametric Rectangular Automata

Hybrid Systems V

Control-invariance of hybrid systems with forcible events

Automatica (Journal of IFAC)

Quantified Score

Hi-index	0.00

Visualization

Abstract

A hybrid system is modeled by a hybrid automaton and its control specification is given by a predicate defined on the hybrid state space of the system. The problem is to find a hybrid state feedback policy that enforces the closed-loop system satisfying the specification. In this paper, we present a control synthesis method for the problem based on predicate invariance.