3 search results - page 1 / 1 » Pre-orders for reasoning about stability properties with res... |
HYBRID
2003
Springer
13 years 10 months ago
2003
Springer
This paper presents a Hoare-style logic for reasoning about the frequency response of control systems in the continuous-time domain. Two properties, the gain (amplitude) and phase ...
TPHOL
2008
IEEE
13 years 11 months ago
2008
IEEE
Correctness of many hybrid and distributed systems require stability and convergence guarantees. Unlike the standard induction principle for verifying invariance, a theory for veri...
CONCUR
1994
Springer
13 years 9 months ago
1994
Springer
We augment the I/O automaton model of Lynch and Tuttle with probability, as a step toward the ultimate goal of obtaining a useful tool for specifying and reasoning about asynchron...