Hybridní systémy
B3M35HYS + BE3M35HYSOsnova sekce
-
- Safety requirements (invariance)
- Verification via reachability analysis
- by checking feasibility of optimal control for MLD
- by set propagation techniques
- Verification via barrier certificates
- Verification via reachability analysis
- Liveness (progress) requirements
- General specifications through temporal logics: LTL, CTL, ...
- Safety requirements (invariance)