By Topic

Hybrid supervisory control for real-time embedded bus rapid transit applications

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Girard, A.R. ; Univ. of California, Berkeley, CA, USA ; Howell, A.S. ; Hedrick, J.K.

Complex large-scale embedded systems arise in many applications, in particular in the design of automotive systems, controllers, and networking protocols. In this paper, we attempt to present a review of salient results in modeling of complex large-scale embedded systems, including hybrid systems, and review existing results for composition, analysis, model checking, and verification of safety properties. We then present a library of vehicle models designed for vehicle following [cruise control (CC), adaptive CC (ACC), cooperative ACC (CACC)]. The models and controllers attempt to cross the chasm between theory and practice by capturing real-world challenges faced by industry and making the library accessible in a public domain form, with a gradation of levels of complexity. The most complex level was used for controller design and simulation for a bus rapid transit demonstration. Experimental results are shown.

Published in:

Vehicular Technology, IEEE Transactions on  (Volume:54 ,  Issue: 5 )