Thumbnail
Access Restriction
Subscribed

Author Colombo, Alessandro ♦ Del Vecchio, Domitilla
Source IEEE Xplore Digital Library
Content type Text
Publisher Institute of Electrical and Electronics Engineers, Inc. (IEEE)
File Format PDF
Copyright Year ©2011
Language English
Subject Domain (in DDC) Technology ♦ Engineering & allied operations ♦ Other branches of engineering
Subject Keyword Trajectory ♦ Vehicles ♦ Safety ♦ Vectors ♦ Discrete event systems ♦ Roads ♦ Complexity theory
Abstract The limiting factor in most implementations of safety enforcing controllers is the model's complexity, and a common work-around includes the abstraction of the physical model, based on differential equations, to a finite symbolic model. We exploit the specific structure of a class of systems (the differentially flat systems) to perform the abstraction. The objective is to construct a supervisor enforcing a set of safety rules, while imposing as little constraints as possible on the system's functionality. An example - a collision avoidance algorithm for a fleet of vehicles converging to an intersection - is presented. Our approach improves on previous results by providing a deterministic symbolic model irrespective of the stability properties of a system, and by addressing explicitly the problem of enforcing safety.
Description Author affiliation: Department of Mechanical Engineering, Massachusetts Institute of Technology, 77 Massachusetts Avenue, Cambridge, USA (Colombo, Alessandro; Del Vecchio, Domitilla)
ISBN 9781612848006
ISSN 07431546
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research ♦ Reading
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2011-12-12
Publisher Place USA
Rights Holder Institute of Electrical and Electronics Engineers, Inc. (IEEE)
e-ISBN 9781612848013
Size (in Bytes) 307.15 kB
Page Count 6
Starting Page 6134
Ending Page 6139


Source: IEEE Xplore Digital Library