http://www.cnr.it/ontology/cnr/individuo/prodotto/ID311494
Controller synthesis for safety critical planning (Contributo in atti di convegno)
- Type
- Label
- Controller synthesis for safety critical planning (Contributo in atti di convegno) (literal)
- Anno
- 2013-01-01T00:00:00+01:00 (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
- 10.1109/ICTAI.2013.54 (literal)
- Alternative label
Orlandini, Andrea; Suriano, Marco; Cesta, Amedeo; Finzi, Alberto (2013)
Controller synthesis for safety critical planning
in ICTAI 2013, Washington DC, USA, November 2013
(literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
- Orlandini, Andrea; Suriano, Marco; Cesta, Amedeo; Finzi, Alberto (literal)
- Pagina inizio
- Pagina fine
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
- http://www.scopus.com/record/display.url?eid=2-s2.0-84897704969&origin=inward (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume
- Rivista
- Note
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
- Istituto Di Scienze E Tecnologie Della Cognizione, Rome; Universita degli Studi di Napoli Federico II (literal)
- Titolo
- Controller synthesis for safety critical planning (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
- Abstract
- 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. © 2013 IEEE. (literal)
- Editore
- Prodotto di
- Autore CNR
- Insieme di parole chiave
Incoming links:
- Autore CNR di
- Prodotto
- Editore di
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi
- Insieme di parole chiave di