Computing Abstractions of Nonlinear Systems

Sufficiently accurate finite state models, also called symbolic models or discrete abstractions, allow one to apply fully automated methods, originally developed for purely discrete systems, to formally reason about continuous and hybrid systems and to design finite state controllers that provably e...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE transactions on automatic control 2011-11, Vol.56 (11), p.2583-2598
1. Verfasser:	Reissig, G.
Format:	Artikel
Sprache:	eng
Schlagworte:	Accuracy Applied sciences Approximation methods Attainability attainable set Automata Computational modeling Computer science control theory systems Control system synthesis Control theory. Systems Controllers Design engineering discrete abstraction Dynamical systems Exact sciences and technology formal verification Half spaces Mathematical analysis Mathematical models Modelling and identification motion planning Nonlinear dynamics nonlinear system Nonlinear systems Nonlinearity polyhedral over-approximation Quantization Robotics Studies symbolic control symbolic model Trajectory
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!