- Record: found
- Abstract: not found
- Article: not found
A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
Read this article at
ScienceOpenPublisher
There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.
Abstract
Related collections
Most cited references8
- Record: found
- Abstract: not found
- Article: not found
Controlling a Class of Nonlinear Systems on Rectangles
Calin Belta, Luc Habets (2006)
- Record: found
- Abstract: not found
- Conference Proceedings: not found
Reasoning about infinite computation paths
Pierre Wolper, Moshe Vardi, A. Sistla (1983)
- Record: found
- Abstract: not found
- Article: not found
Supervisory control of hybrid systems
X.D. Koutsoukos, P.J. Antsaklis, J.A. Stiver … (2000)