Challenges and opportunities in the industrial usage controller synthesis tools: A review of LTL-based opensource tools for automated control design

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Results in control and optimization 2025-03, Vol.18, p.100511, Article 100511
Hauptverfasser:	Banerjee, Amar, Choppella, Venkatesh
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!