11 unstable releases (3 breaking)
0.4.1 | May 4, 2021 |
---|---|
0.4.0 | May 4, 2021 |
0.3.1 | May 4, 2021 |
0.2.1 | May 4, 2021 |
0.1.1 | Oct 27, 2020 |
#2182 in Algorithms
72 downloads per month
Used in 3 crates
41KB
889 lines
clock-zones
A library for handling clock zones as they appear in the context of timed automata. Timed automata have been pioneered by Rajeev Alur and David Dill in 1994 to model real-time systems [1]. Timed automata extend finite automata with real-valued clocks. This crate provides an implementation of the difference bound matrix (DBM) data structure to efficiently represent clock zones. The implementation is mostly based on [2].
Dependencies
~45KB