5 search results - page 1 / 1 » Synthesis using approximately bisimilar abstractions: time-o... |
CDC
2010
IEEE
12 years 11 months ago
2010
IEEE
s using Approximately Bisimilar Abstractions: Time-Optimal Control Problems Antoine Girard In this paper, we present a hierarchical approach to time-optimal control using approxima...
HYBRID
2010
Springer
13 years 8 months ago
2010
Springer
AUTOMATICA
2008
13 years 4 months ago
2008
Control systems are usually modeled by differential equations describing how physical phenomena can be influenced by certain control parameters or inputs. Although these models ar...
HYBRID
2000
Springer
13 years 8 months ago
2000
Springer
Abstract. In this paper, we demonstrate a novel hybrid control synthesis approach using an automotive suspension system. Discrete abstractions are used to approximate the continuou...
HYBRID
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. This paper addresses a parameter synthesis problem for nonlinear hybrid systems. Considering a set of uncertain parameters and a safety property, we give an algorithm tha...