scientific article; zbMATH DE number 7379290

DOI10.23638/LMCS-17(2:19)2021MaRDI QIDQ5009705zbMATH OpenFDO

Authors Martijn Hendriks, Marc Geilen, Kees Goossens, Rob de Jong, T. Basten

Publication date 5 August 2021

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

zbMATH Keywords

constraint programmingembedded and cyber-physical systemsmulti-objective combinatorial optimizationPareto algebraquality of service

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Recommendations

• scientific article; zbMATH DE number 1262888
• scientific article; zbMATH DE number 1946741
• An interface model of software components

Cites work

• An algebra of Pareto points
• Approximating the Pareto front of multi-criteria optimization problems
• scientific article; zbMATH DE number 1033387 (Why is no real title available?)
• scientific article; zbMATH DE number 2080757 (Why is no real title available?)
• Taming Dr. Frankenstein: contract-based design for cyber-physical systems
• The earlier the better: a theory of timed actor interfaces

Describes a project that uses

Uses Software

• z3

This page was built for publication:

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