DocumentCode :
3643063
Title :
Verification and control of hybrid systems using reachability analysis
Author :
Claire J. Tomlin
Author_Institution :
Department of Electrical Engineering and Computer Sciences, UC Berkeley, CA 94720-1770, USA
fYear :
2011
fDate :
6/1/2011 12:00:00 AM
Firstpage :
150
Lastpage :
150
Abstract :
This talk will present reachability analysis as a tool for model checking and controller synthesis for dynamic systems. We will consider the problem of guaranteeing reachability to a given desired subset of the state space while satisfying a safety property defined in terms of state constraints. We allow for nonlinear and hybrid dynamics, and possibly non-convex state constraints. We use these results to synthesize controllers that ensure safety and reachability properties under bounded model disturbances that vary continuously. We also consider the effects of sampling and quantization. The resulting control policy is an explicit feedback law involving both a selection of continuous inputs and discrete switching commands at each time instant, based upon measurement of system state. We discuss real time implementations of this, and present several examples from multiple aerial vehicle control, human-robot interaction, and multi-stage games. Finally, we show how reachability techniques can be used to guarantee safety in robotics systems that use machine learning to generate dynamic models on-the-fly.
Keywords :
"Control systems","Vehicle dynamics","Reachability analysis","Robots","Games","Safety","Automation"
Publisher :
ieee
Conference_Titel :
Control & Automation (MED), 2011 19th Mediterranean Conference on
Print_ISBN :
978-1-4577-0124-5
Type :
conf
DOI :
10.1109/MED.2011.5983088
Filename :
5983088
Link To Document :
بازگشت