Model checking embedded system designs

Brinksma, Ed and Mader, Angelika (2002) Model checking embedded system designs. In: Sixth International Workshop on Discrete Event Systems, WODES 2002, 2-4 October 2002, Zaragoza, Spain.

Preview

PDF
309Kb

Abstract:	We survey the basic principles behind the application of model checking to controller verification and synthesis. A promising development is the area of guided model checking, in which the state space search strategy of the model checking algorithm can be influenced to visit more interesting sets of states first. In particular, we discuss how model checking can be combined with heuristic cost functions to guide search strategies. Finally, we list a number of current research developments, especially in the area of reachability analysis for optimal control and related issues.
Item Type:	Conference or Workshop Item
Copyright:	© 2002 IEEE
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Robotics and Mechatronics (CE)
Link to this item:	http://purl.utwente.nl/publications/38268
Official URL:	http://dx.doi.org/10.1109/WODES.2002.1167682
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page

Metis ID: 209589