@inproceedings{02ccf51da72a45e78024bb625e32a347,
title = "Recursive and backward reasoning in the verification on hybrid systems",
abstract = "In this paper we introduce two improvements to the method of verification of hybrid systems by constraint propagation based abstraction refinement that we introduced earlier. The first improvement improves the recursive propagation of reachability information over the regions constituting the abstraction, and the second improvement reasons backward from the set of unsafe states, instead of reasoning forward from the set of initial states. Detailed computational experiments document the usefulness of these improvements.",
keywords = "Constraint propagation, Hybrid systems, Verification",
author = "Stefan Ratschan and Zhikun She",
year = "2008",
language = "英语",
isbn = "9789898111326",
series = "ICINCO 2008 - 5th International Conference on Informatics in Control, Automation and Robotics, Proceedings",
pages = "65--71",
booktitle = "ICINCO 2008 - 5th International Conference on Informatics in Control, Automation and Robotics, Proceedings",
note = "5th International Conference on Informatics in Control, Automation and Robotics, ICINCO 2008 ; Conference date: 11-05-2008 Through 15-05-2008",
}