Sciweavers

HYBRID
2001
Springer

Semi-decidable Synthesis for Triangular Hybrid Systems

13 years 8 months ago
Semi-decidable Synthesis for Triangular Hybrid Systems
Abstract. The algorithmic design of least restrictive controllers for hybrid systems that satisfy reachability specifications has received much attention recently. Despite the importance of algorithmic approaches to controller design for hybrid systems, results that guarantee termination of the algorithms have been limited. In this paper, we extend recent decidability results on controller synthesis for classes of linear hybrid systems to semi-decision procedures for triangular hybrid systems which can be used to model nonholonomic systems after a transformation. Our results are then applied to verification of a conflict resolution maneuver from air traffic control.
Omid Shakernia, George J. Pappas, Shankar Sastry
Added 29 Jul 2010
Updated 29 Jul 2010
Type Conference
Year 2001
Where HYBRID
Authors Omid Shakernia, George J. Pappas, Shankar Sastry
Comments (0)