SUGGESTED
BACKGROUND
READING
Despite our effort to make things intuitive, CheckMate users need to be
familiar with MATLAB and SIMULINK and some basic theory related to hybrid systems, dynamic systems and
polyhedral compuations. To get the most out of CheckMate, the user should become
familiar with the following topics:
- MATLAB object oriented programming
- Standard MATLAB objects, especially cell arrays and
structures
- Model checking and computation tree logic (CTL)
- Linear algebra
- Computational geometry, especially the operation convex hull
- Optimization, especially linear programming
- Hybrid system theory
- Automata theory
|