Robust Controller Synthesis for Hybrid Systems Using Modal Logic

Robust Controller Synthesis for Hybrid Systems Using Modal Logic (2001)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by T. Moor , J.M. Davoren

Venue:	Hybrid Systems: Computation and Control (HSCC’01), volume 2034 of LNCS
Citations:	17 - 2 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Robust Controller Synthesis for Hybrid Systems Using Modal Logic	user correction - Legacy Corrections
AUTHOR NAME	T. Moor	user correction - Legacy Corrections
AUTHOR AFFIL	Research School of Information Sciences and Engineering; Australian National University	user correction - Legacy Corrections
AUTHOR ADDR	Canberra ACT 0200 AUSTRALIA	user correction - Legacy Corrections
AUTHOR NAME	J.M. Davoren	user correction - Legacy Corrections
AUTHOR AFFIL	Research School of Information Sciences and Engineering; Australian National University	user correction - Legacy Corrections
AUTHOR ADDR	Canberra ACT 0200 AUSTRALIA	user correction - Legacy Corrections
ABSTRACT	. In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching control mechanism of a hybrid automaton (via guard and mode invariant sets), and the robustness result is with respect to variations in the right hand sides of the dierential equations that depend continuously on a parameter. We present a novel methodology for controller design and synthesis which uses modal logic as a formalism for reasoning about sets of plant states, and various operators on sets arising from the dierential equations and from metric tolerance relations on the state space. 1 Introduction In general terms, a hybrid system H can be said to satisfy a performance speci cation robustly if every system H 0 in some nominated variation class around H also satis es that speci cation. Likewise, a synthesis procedure for a class of control problems can be called robust if the nominal closed-loop hyb...	user correction - Legacy Corrections
YEAR	2001	INFERENCE
VENUE	Hybrid Systems: Computation and Control (HSCC’01), volume 2034 of LNCS	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	433--446	INFERENCE
VOLUME	2034	INFERENCE
CITATIONS	21 found	ParsCit 1.0