| |
Correct-by-Construction Adaptive Cruise Control: Two Approaches
|
نوع المصدر |
مقال
|
بيانات التأليف |
Nilsson, Petter (Author)
Hussien, Omar (Author)
Balkan, Ayca (Author)
|
بيانات الدورية المصدر |
العنوان:
IEEE Transactions on Control Systems Technology
|
|
رقم المجلد/ العدد: 2016/JUL V.24 N.4
رقم الإستدعاء: 629.805 ITC الموقع: Periodicals & References Hall - 2nd floor
|
الوصف المادي |
p 1294 - 1307
|
رأس الموضوع/ الواصفات |
Engineering
(39711)
|
|
|
المستخلص |
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....
المستخلص الكامل
|
| المزيد من المقالات من
الدورية:
IEEE Transactions on Control Systems Technology
(558)
العدد: 2016/JUL V.24 N.4
|
|
| |
|
إبحث في المصادر الإلكترونية |
● |
● |
مواضيع ذات صلة |
|
|
|
|