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 (pp. pp. 151-158).

open access
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
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:
Official URL:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page

Metis ID: 209589