An automated trajectory planning approach is presented in this work to incorporate the logical decision-making phase of a Cooperative Collision Avoidance (CCA) system and to avoid design errors caused by traditional methods. The linear temporal logic, which is an expressive language of temporal logic, is used to write specifications and automatically synthesize a logical controller strategy for a vehicle. This results in a specification-correct control automaton. The trajectory is represented by a sequence of acceptable states respecting the specification. This automaton is implemented using a controller which generates reference signals to be followed by the vehicle. The performance of this approach is tested using the so-called elk test.

Automatic Synthesis via Tulip of an Autonomous Vehicle Controller Ensuring Collision Avoidance

T. Kabbani;DI GENNARO S
2018-01-01

Abstract

An automated trajectory planning approach is presented in this work to incorporate the logical decision-making phase of a Cooperative Collision Avoidance (CCA) system and to avoid design errors caused by traditional methods. The linear temporal logic, which is an expressive language of temporal logic, is used to write specifications and automatically synthesize a logical controller strategy for a vehicle. This results in a specification-correct control automaton. The trajectory is represented by a sequence of acceptable states respecting the specification. This automaton is implemented using a controller which generates reference signals to be followed by the vehicle. The performance of this approach is tested using the so-called elk test.
File in questo prodotto:
File Dimensione Formato  
CDC2018.pdf

solo utenti autorizzati

Tipologia: Documento in Versione Editoriale
Licenza: Dominio pubblico
Dimensione 741.99 kB
Formato Adobe PDF
741.99 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11697/130528
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 0
social impact