|
Publication type: Article
|
| Title: |
Correct-by-Construction Adaptive Cruise Control: Two Approaches
|
| Author(s): |
Nilsson,Petter
(Author)
Hussien,Omar
(Author)
Balkan,Ayca
(Author)
|
| Source Journal Info. |
Title:IEEE Transactions on Control Systems Technology
|
|
Issue Number:2016/JUL V.24 N.4
Call No.:629.805 ITC
Location: References & Periodical Hall - 2nd floor
|
| Physical Description: |
p 1294 - 1307
|
| Subject Area: |
Engineering
|
| Subject Terms: |
Automatic control
|
| Accession Number |
155882
|
Abstract
|
Motivated by the challenge of developing control software provably meeting specifications for real-world problems, this paper applies formal methods to adaptive cruise control (ACC). Starting from a linear temporal logic specification for ACC, obtained by interpreting relevant ACC standards, we discuss in this paper two different control software synthesis methods. ...
Abstract URL:http://ieeexplore.ieee.org/document/7349170/
|
|
|
|