527 search results - page 36 / 106 » Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems |
164
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
Increasing scale, dynamism, and complexity of hybrid grids make traditional grid resource scheduling approaches difficult. In such grids, where resource volatility and dynamism is...
177
click to vote
AUTOMATICA
1999
15 years 5 months ago
1999
In this paper, we consider simple classes of nonlinear systems and prove that basic questions related to their stability and controllability are either undecidable or computationa...
159
click to vote
ICTAC
2009
Springer
15 years 3 months ago
2009
Springer
The GSPeeDI tool implements a decision procedure for the reachability analysis of GSPDIs, planar hybrid systems whose dynamics is given by differential inclusions, and that are not...
143
click to vote
HYBRID
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Sincehybridembeddedsystemsarepervasiveandoftensafetycritical, guarantees about their correct performance are desirable. The hybrid systemsmodelcheckerHyTech providessuch ...
165
click to vote
ICRA
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper we present a novel formulation for the optimal control of discrete event dynamic processes which represent production systems with unreliable machines and buffers of...