8 search results - page 1 / 2 » Synthesis using approximately bisimilar abstractions: state-... |
HYBRID
2010
Springer
13 years 8 months ago
2010
Springer
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
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...
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...
CONCUR
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. We consider the control problem for timed automata against specifications given as MTL formulas. The logic MTL is a linear-time timed temporal logic which extends LTL wit...