UPPAAL DBM LibraryDifference Bound Matrices (DBMs) are efficient data structures to represent clock constraints in timed automata. | |
Download |
UPPAAL DBM Library Ranking & Summary
Advertisement
- License:
- GPL
- Price:
- FREE
- Publisher Name:
- Alexandre David
- Publisher web site:
- http://www.cs.aau.dk/~adavid/tiga/
UPPAAL DBM Library Tags
UPPAAL DBM Library Description
Difference Bound Matrices (DBMs) are efficient data structures to represent clock constraints in timed automata. Difference Bound Matrices (DBMs) are efficient data structures to represent clock constraints in timed automata.They are used in UPPAAL as the core data structure to represent time. This library features all the common operations such as up (delay, or future), down (past), general updates, different extrapolation functions, etc. on DBMs and federations.The library also supports subtractions and methods to merge DBMs.What's New in This Release:· Minor API updates were made.· A memory leak in the resize function was fixed.
UPPAAL DBM Library Related Software