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...

Celý popis

Podrobná bibliografie

Vydáno v:	Systems science & control engineering Ročník 12; číslo 1
Hlavní autoři:	Adzkiya, Dieky, Mufid, Muhammad Syifa'ul, Saputri, Febrianti Silviana, Abate, Alessandro
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Macclesfield Taylor & Francis 31.12.2024 Taylor & Francis Ltd Taylor & Francis Group
Témata:	Autonomous vehicles Boolean control synthesis Controllers Design linear real arithmetic satisfiability modulo theories Unicycle model Velocity
ISSN:	2164-2583, 2164-2583
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!