An \omega-algebra for real-time energy problems

MaRDI QIDQ5377470zbMATH OpenFDO

Authors David Cachera, Uli Fahrenberg, Axel Legay

Publication date 24 May 2019

Full work available at URL https://arxiv.org/abs/1701.08524

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Algebraic theory of languages and automata (68Q70)

Recommendations

• An -algebra for real-time energy problems
• An algebraic approach to energy problems. I: ^*-continuous Kleene -algebras
• ^*-continuous Kleene -algebras for energy problems
• An algebraic approach to energy problems. II: The algebra of energy functions
• Kleene algebras and semimodules for energy problems

Cites work

• ^*-continuous Kleene -algebras
• A completeness theorem for Kleene algebras and the algebra of regular events
• An -algebra for real-time energy problems
• An algebra of hybrid systems
• An algebraic approach to energy problems. I: ^*-continuous Kleene -algebras
• An algebraic approach to energy problems. II: The algebra of energy functions
• Energy games in multiweighted automata
• Handbook of weighted automata
• scientific article; zbMATH DE number 4210141 (Why is no real title available?)
• scientific article; zbMATH DE number 1794360 (Why is no real title available?)
• scientific article; zbMATH DE number 1794367 (Why is no real title available?)
• scientific article; zbMATH DE number 2150281 (Why is no real title available?)
• scientific article; zbMATH DE number 1358710 (Why is no real title available?)
• scientific article; zbMATH DE number 233974 (Why is no real title available?)
• Infinite Runs in Weighted Timed Automata with Energy Constraints
• Kleene algebras and semimodules for energy problems
• On iteration semiring-semimodule pairs.
• On the Interval-Bound Problem for Weighted Timed Automata
• Timed automata with observers under energy constraints
• Towards an algebra for real-time programs

Cited in

(9)

• Optimal and robust controller synthesis using energy timed automata with uncertainty
• scientific article; zbMATH DE number 1500522 (Why is no real title available?)
• ^*-continuous Kleene -algebras for energy problems
• Kleene algebras and semimodules for energy problems
• An -algebra for real-time energy problems
• An algebraic approach to energy problems. I: ^*-continuous Kleene -algebras
• An algebraic approach to energy problems. II: The algebra of energy functions
• Energy Büchi problems
• -regular energy problems

This page was built for publication: An $\omega$-algebra for real-time energy problems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5377470)