4693 search results - page 49 / 939 » Verifying Hybrid Systems |
96
Voted
HYBRID
2000
Springer
15 years 4 months ago
2000
Springer
This paper studies the existence of solutions to a class of hybrid automata in which the underlying continuous dynamics are represented by inhomogeneous linear time-invariant syste...
AUTOMATICA
2006
15 years 18 days ago
2006
In this paper a novel, Gibbs sampler-based algorithm is proposed for coordination of autonomous swarms. The swarm is modeled as a Markov random field (MRF) on a graph with a time-...
114
click to vote
HYBRID
2007
Springer
15 years 6 months ago
2007
Springer
This paper addresses questions regarding the decidability of hybrid automata that may be constructed hierarchically and in a modular way, as is the case in many exemplar systems, b...
112
click to vote
HYBRID
2005
Springer
15 years 6 months ago
2005
Springer
In this paper, we present a new design methodology for synchronous reactive systems, based on a clear separation between control and data flow parts. This methodology allows to fa...
111
click to vote
NGC
2008
Springer
15 years 14 days ago
2008
Springer
A bytecode verifier for the Java virtual machine language (JVML) statically checks that bytecode does not cause any fatal error. However, the present verifier does not check correc...