640 search results - page 19 / 128 » On Timed Simulation Relations for Hybrid Systems and Composi... |
149
Voted
LICS
2012
IEEE
13 years 4 months ago
2012
IEEE
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...
100
click to vote
HYBRID
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. An important class of soft real-time applications require dynamic allocation of computational resources in order to comply with their quality of service (QoS) requirement...
133
click to vote
SRDS
1999
IEEE
15 years 6 months ago
1999
IEEE
Hybrid systems like computer-controlled chemical plants are typical safety critical distributed systems. In present practice, the safety of hybrid systems is guaranteed by hazard ...
95
Voted
DNA
2001
Springer
15 years 6 months ago
2001
Springer
In the universal DNA chip method, target RNAs are mapped onto a set of DNA tags. Parallel hybridization of these tags with an indexed, complementary antitag array then provides an ...
113
Voted
ACSD
2009
IEEE
15 years 5 months ago
2009
IEEE
A number of algorithms are available for computing the simulation relation on Kripke structures and on labelled transition systems representing concurrent systems. Among them, the...