Building power consumption models from executable timed I/O automata specifications

DOI10.1145/2883817.2883844MaRDI QIDQ2988984zbMATH OpenOpenAlexFDO

Authors Benoît Barbot, Marta Kwiatkowska, Alexandru Mereacre, Nicola Paoletti

Publication date 19 May 2017

Published in Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2883817.2883844

zbMATH Keywords

data-driven energy consumption modelsembedded systemsenergy optimisationhardware-in-the-loop simulationPetri netssatisfiability modulo theoriessynthesistimed I/O automataverification

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1956596
• Optimal and robust controller synthesis. Using energy timed automata with uncertainty
• Optimal and robust controller synthesis using energy timed automata with uncertainty
• A Hoare logic for energy consumption analysis
• A COTS-based approach for estimating performance and energy consumption of embedded real-time systems

Cited in

(2)

• scientific article; zbMATH DE number 1956596 (Why is no real title available?)
• A COTS-based approach for estimating performance and energy consumption of embedded real-time systems

This page was built for publication: Building power consumption models from executable timed I/O automata specifications

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