4520 search results - page 38 / 904 » Algebraic Techniques for Timed Systems |
130
click to vote
HYBRID
1997
Springer
15 years 5 months ago
1997
Springer
Hybrid transition systems in their full generality describe continuous behaviour by a set of equations in each mode an algebraic or di erential equation for each state variable in ...
102
Voted
SIAMCO
2002
15 years 1 months ago
2002
The paper introduces a new detectability concept for continuous-time Markov jump linear systems with finite Markov space that generalizes previous concepts found in the literature....
127
click to vote
ECBS
2010
IEEE
15 years 8 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
105
click to vote
FORMATS
2003
Springer
15 years 7 months ago
2003
Springer
Testing is the primary software validation technique used by industry today, but remains ad hoc, error prone, and very expensive. A promising improvement is to automatically genera...
99
Voted
ERSHOV
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Two formal models for description of timing attacks are presented, studied and compared with other security concepts. The models are based on a timed process algebra and ...