Architectural Verification of Control Systems Using CSP.
Joabe JesusAlexandre MotaAugusto SampaioLuiz GrijoPublished in: ICFEM (2011)
Keyphrases
- control system
- constraint satisfaction problems
- constraint satisfaction
- closed loop
- software architecture
- database
- safety analysis
- tree decomposition
- decomposition methods
- architectural design
- arc consistency
- face verification
- signature verification
- industrial automation
- formal verification
- formal methods
- constraint programming
- face recognition
- control law
- model checking
- mobile robot
- fingerprint verification
- artificial intelligence