Controller Synthesis for Safety Critical Planning

Safety critical planning and execution is a crucial issue in autonomous systems. This paper proposes a methodology for controller synthesis suitable for timeline-based planning and demonstrates its effectiveness in a space domain where robustness of execution is a crucial property. The proposed appr...

Full description

Saved in:
Bibliographic Details
Published in2013 IEEE 25th International Conference on Tools with Artificial Intelligence pp. 306 - 313
Main Authors Orlandini, Andrea, Suriano, Marco, Cesta, Amedeo, Finzi, Alberto
Format Conference Proceeding Journal Article
LanguageEnglish
Published IEEE 01.01.2013
Subjects
Artificial intelligence
Automata
Checkers
Conferences
Control systems
Controllers
Expert systems
Games
Inductors
Planning
Robust Planning and Execution
Robustness
Safety critical
Synthesis
Timed Game Automata
Timeline-based planning and scheduling
Online AccessGet full text

Cover

More Information
Summary:Safety critical planning and execution is a crucial issue in autonomous systems. This paper proposes a methodology for controller synthesis suitable for timeline-based planning and demonstrates its effectiveness in a space domain where robustness of execution is a crucial property. The proposed approach uses Timed Game Automata (TGA) for formal modeling and the UPPAAL-TIGA model checker for controllers synthesis. An experimental evaluation is performed using a real-world control system.
Bibliography:ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Conference-1
ObjectType-Feature-3
content type line 23
SourceType-Conference Papers & Proceedings-2
ISSN:1082-3409
DOI:10.1109/ICTAI.2013.54