HYBRID
2010
Springer
14 years 6 months ago
2010
Springer
We consider an anytime control algorithm for the situation when the processor resource availability is time-varying. The basic idea is to calculate the components of the control i...
HYBRID
2010
Springer
14 years 6 months ago
2010
Springer
The main purpose of event-based control, if compared to periodic control, is to minimize data transfer or processing power in networked control systems. Current methods have an (i...
HYBRID
2010
Springer
14 years 6 months ago
2010
Springer
The complexity of physical and engineering systems, both in terms of the governing physical phenomena and the number of subprocesses involved, is mirrored in ever more complex mat...
HYBRID
2010
Springer
14 years 6 months ago
2010
Springer
In this paper, we present an extension of the synchronous language Quartz by new kinds of variables, actions and statements for modeling the interaction of synchronous systems wit...
HYBRID
2010
Springer
14 years 6 months ago
2010
Springer
HYBRID
2010
Springer
14 years 6 months ago
2010
Springer
SAC
2010
ACM
14 years 6 months ago
2010
ACM
Analysis of systems containing both discrete and continuous dynamics, hybrid systems, is a difficult issue. Most problems have been shown to be undecidable in general, and decidab...
CADE
2007
Springer
14 years 11 months ago
2007
Springer
We show how theorem proving and methods for handling real algebraic constraints can be combined for hybrid system verification. In particular, we highlight the interaction of deduc...