Control design of discrete-time unicycle model using satisfiability modulo theory

This paper discusses a formal control design of a discrete-time unicycle model using Satisfiability Modulo Theory (SMT). Given a set of possible initial positions, a set of possible target positions, a lane and a time horizon, we develop a method to formally synthesize a controller that drives the u...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Systems science & control engineering Jg. 12; H. 1
Hauptverfasser:	Adzkiya, Dieky, Mufid, Muhammad Syifa'ul, Saputri, Febrianti Silviana, Abate, Alessandro
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Macclesfield Taylor & Francis 31.12.2024 Taylor & Francis Ltd Taylor & Francis Group
Schlagworte:	Autonomous vehicles Boolean control synthesis Controllers Design linear real arithmetic satisfiability modulo theories Unicycle model Velocity
ISSN:	2164-2583, 2164-2583
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!