7778 search results - page 41 / 1556 » Designing Controllers for Reachability |
FROCOS
2005
Springer
15 years 5 months ago
2005
Springer
113
click to vote
FORMATS
2007
Springer
15 years 3 months ago
2007
Springer
In this paper, we review some recent results on the efficient synthesis of controllers for timed systems. We first recall the basics of controller synthesis for timed games and the...
114
click to vote
HYBRID
2000
Springer
15 years 3 months ago
2000
Springer
We propose a computer-aided methodology to automatically generate time optimal production schemes for chemical batch plants operating in multi-batch mode. Our approach is based on ...
AUTOMATICA
2010
14 years 12 months ago
2010
The paper presents an algebraic characterization of observability and span-reachability of bilinear hybrid systems without guards, i.e. hybrid systems whose continuous dynamics is...
HYBRID
2009
Springer
14 years 9 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...