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
  • 306 (literal)
Pagina fine
  • 313 (literal)
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
  • ICTAI 2013 (literal)
Rivista
Note
  • Scopu (literal)
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
  • 9781479929719 (literal)
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
data.CNR.it