5200 search results - page 13 / 1040 » Symbolic models for control systems |
RTSS
1998
IEEE
14 years 26 days ago
1998
IEEE
We propose a unifying method for analysis of scheduling problems in real-time systems. The method is based on ACSR-VP, a real-time process algebra with value-passing capabilities....
CAV
1990
Springer
14 years 20 days ago
1990
Springer
Ternary system modeling involves extending the traditional set of binary values
CAV
2003
Springer
14 years 1 months ago
2003
Springer
In previous work, we showed how structural information can be used to efficiently generate the state-space of asynchronous systems. Here, we apply these ideas to symbolic CTL model...
ISSTA
1998
ACM
14 years 6 days ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...
PTS
2007
13 years 10 months ago
2007
In a component oriented approach, components are designed, developed and validated in order to be widely used. However one cannot always foresee which specific uses will be made o...