Enriching APSI with Validation Capabilities: the KEEN environment and its use in Robotics (Contributo in atti di convegno)

Type
Label
  • Enriching APSI with Validation Capabilities: the KEEN environment and its use in Robotics (Contributo in atti di convegno) (literal)
Anno
  • 2011-01-01T00:00:00+01:00 (literal)
Alternative label
  • Cesta, Amedeo [1]; Finzi, Alberto [2]; Fratini, Simone [1]; Orlandini, Andrea [3]; Tronci, Enrico [4] (2011)
    Enriching APSI with Validation Capabilities: the KEEN environment and its use in Robotics
    in 11th Symposium on Advanced Space Technologies in Robotics and Automation. Proceedings (ASTRA 2011), Noordwijk, the Netherlands, 12-14 April 2011
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Cesta, Amedeo [1]; Finzi, Alberto [2]; Fratini, Simone [1]; Orlandini, Andrea [3]; Tronci, Enrico [4] (literal)
Pagina inizio
  • 5A_4 (literal)
Pagina fine
  • 8 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni
  • ID_PUMA: cnr.istc/2011-A2-053 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://robotics.estec.esa.int/ASTRA/Astra2011/Papers/05A/FCXNL-11A06-2144229-1-2144229Cesta.pdf (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • [1] CNR-ISTC, Roma1-SanMartino; [2] Università di Napoli \"Federico II\"; [3] CNR-ITIA, Milano; [4] Università di Roma, La Sapienza (literal)
Titolo
  • Enriching APSI with Validation Capabilities: the KEEN environment and its use in Robotics (literal)
Abstract
  • This paper presents the KnowledgE ENgineering (KEEN) design support system in which Validation and Verification (V&V) methods are used to strengthen onground development of software for plan-based autonomy. In particular, the paper describes a collection of verification methods, based on Timed Game Automata (TGA), deployed for the design and development of timeline-based Planning and Scheduling (P&S) applications within the APSI-TRF framework. The KEENs V&V functionalities are illustrated describing software development to synthesize plans for a planetary rover. (literal)
Editore
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Autore CNR di
Prodotto
Editore di
Insieme di parole chiave di
data.CNR.it