Table of Contents
Current Research & Needs for Development Overview
Current Research
The Vikings Problem Real time scheduling
PPT Slide
Symbolic Reachability
Optimal Reachability Branch & Bound
Hybrid Systems
Hybrid Systems
Hybrid Systems
Datastructures used in UPPAAL Compact Difference Diagrams (finite unions of zones)
Performance Model Checking An extension of UPPAAL w Joost-Pieter Katoen
Hierarchical Systems Reusability
Need for future development
PROJECTS and Collaborations
|