CUED Publications database

Verification of periodically controlled hybrid systems: Application to an autonomous vehicle

Wongpiromsarn, T and Mitra, S and Lamperski, A and Murray, RM (2012) Verification of periodically controlled hybrid systems: Application to an autonomous vehicle. Transactions on Embedded Computing Systems, 11. ISSN 1539-9087

Full text not available from this repository.
Item Type: Article
Subjects: UNSPECIFIED
Divisions: Div F > Computational and Biological Learning
Depositing User: Cron Job
Date Deposited: 07 Mar 2014 11:26
Last Modified: 11 Aug 2014 01:10
DOI: