527 search results - page 36 / 106 » Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems |
SAC
2008
ACM
13 years 8 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...
AUTOMATICA
1999
13 years 8 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...
ICTAC
2009
Springer
13 years 6 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...
HYBRID
2000
Springer
14 years 8 days ago
2000
Springer
Abstract. Sincehybridembeddedsystemsarepervasiveandoftensafetycritical, guarantees about their correct performance are desirable. The hybrid systemsmodelcheckerHyTech providessuch ...
ICRA
1999
IEEE
14 years 29 days 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...