4693 search results - page 210 / 939 » Verifying Hybrid Systems |
193
click to vote
RTAS
2008
IEEE
15 years 12 months ago
2008
IEEE
Embedded systems are often subject to constraints that require determinism to ensure that task deadlines are met. Such systems are referred to as real-time systems. Schedulability...
140
click to vote
HYBRID
2004
Springer
15 years 11 months ago
2004
Springer
The joint spectral radius of a set of matrices is a measure of the maximal asymptotic growth rate that can be obtained by forming long products of matrices taken from the set. This...
132
click to vote
CDC
2008
IEEE
15 years 12 months ago
2008
IEEE
— We propose a diagnosability notion that depends on two parameters denoted as (δd, δm) for the general class of transition systems where the observable output is given by disc...
174
click to vote
OTM
2004
Springer
15 years 11 months ago
2004
Springer
Peer-to-peer networks and grids offer promising paradigms for developing efficient distributed systems and applications. Event-based middleware is becoming a core architectural el...
170
click to vote
AAI
2005
15 years 5 months ago
2005
The application of AI planning techniques to manufacturing systems is being widely deployed for all the tasks involved in the process, from product design to production planning an...