Abstractions and formal verification of max-plus linear systems
<p>Max-Plus Linear (MPL) systems are the class of discrete-event systems (DES) with dynamics based on two binary operations (maximisation and addition) over the so-called max-plus semiring. In practical applications, MPL systems are used to model synchronisation phenomena without concurrency....
| প্রধান লেখক: | |
|---|---|
| অন্যান্য লেখক: | |
| বিন্যাস: | গবেষণাপত্র |
| ভাষা: | English |
| প্রকাশিত: |
2021
|
| বিষয়গুলি: |