CUED Publications database

Periodically controlled hybrid systems verifying a controller for an autonomous vehicle

Wongpiromsarn, T and Mitra, S and Murray, RM and Lamperski, A (2009) Periodically controlled hybrid systems verifying a controller for an autonomous vehicle. In: UNSPECIFIED pp. 396-410..

Full text not available from this repository.

Abstract

This paper introduces Periodically Controlled Hybrid Automata (PCHA) for describing a class of hybrid control systems. In a PCHA, control actions occur roughly periodically while internal and input actions may occur in the interim changing the discrete-state or the setpoint. Based on periodicity and subtangential conditions, a new sufficient condition for verifying invariance of PCHAs is presented. This technique is used in verifying safety of the planner-controller subsystem of an autonomous ground vehicle, and in deriving geometric properties of planner generated paths that can be followed safely by the controller under environmental uncertainties.

Item Type: Conference or Workshop Item (UNSPECIFIED)
Subjects: UNSPECIFIED
Divisions: Div F > Computational and Biological Learning
Depositing User: Cron job
Date Deposited: 16 Jul 2015 14:09
Last Modified: 27 Aug 2015 10:03
DOI: 10.1007/978-3-642-00602-9_28