Control design of discrete-time unicycle model using satisfiability modulo theory.
Saved in:
| Title: | Control design of discrete-time unicycle model using satisfiability modulo theory. |
|---|---|
| Authors: | Adzkiya, Dieky1, Mufid, Muhammad Syifa'ul1, syifaul.mufid@matematika.its.ac.id, Saputri, Febrianti Silviana1, Abate, Alessandro2 |
| Source: | Systems Science & Control Engineering; Dec2024, Vol. 12 Issue 1, p1-6, 6p |
| Database: | Applied Science & Technology Source |
| ISSN: | 21642583 |
|---|---|
| DOI: | 10.1080/21642583.2024.2316166 |
