An algebraic approach to energy problems I - continuous Kleene ω-algebras ‡
Energy problems are important in the formal analysis of embedded or autonomous systems. With the purpose of unifying a number of approaches to energy problems found in the literature, we introduce energy automata. These are finite automata whose edges are labeled with energy functions that define ho...
Elmentve itt :
| Szerzők: | |
|---|---|
| Dokumentumtípus: | Cikk |
| Megjelent: |
2017
|
| Sorozat: | Acta cybernetica
23 No. 1 |
| Kulcsszavak: | Kleene - algebra, Matematika, Stephen Cole Kleene |
| Tárgyszavak: | |
| doi: | 10.14232/actacyb.23.1.2017.14 |
| Online Access: | http://acta.bibl.u-szeged.hu/50071 |