359 search results - page 3 / 72 » Reachability for Continuous and Hybrid Systems |
CMSB
2009
Springer
14 years 19 days ago
2009
Springer
Abstract. In this paper we describe reachability computation for continuous and hybrid systems and its potential contribution to the process of building and debugging biological mo...
AUTOMATICA
1999
13 years 5 months ago
1999
The problem of systematically synthesizing hybrid controllers which satisfy multiple control objectives is considered. We present a technique, based on the principles of optimal c...
HYBRID
2007
Springer
14 years 6 days ago
2007
Springer
DEDS
2008
13 years 6 months ago
2008
Abstract Approximate simulation relations have recently been introduced as a powerful tool for the approximation of discrete and continuous systems. In this paper, we his abstracti...
HYBRID
2009
Springer
13 years 3 months ago
2009
Springer
We introduce STORMED hybrid games (SHG), a generalization of STORMED Hybrid Systems [21], which have natural specifications, allow rich continuous dynamics and admit various proper...