A Hoare logic for single−input single−output continuous−time control systems
Richard Boulton‚ Ruth Hardy and Ursula Martin
Journal
Hybrid Systems: Computation and Control
Pages
113–125
Publisher
Springer Berlin/Heidelberg
Year
2003
Richard Boulton‚ Ruth Hardy and Ursula Martin