Model-based computing: Developing flexible machine control software

DOI10.1016/S0004-3702(99)00066-1MaRDI QIDQ1978447zbMATH OpenOpenAlexFDO

Authors Markus P. J. Fromherz, Vijay Saraswat, Daniel G. Bobrow

Publication date 4 June 2000

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0004-3702(99)00066-1

zbMATH Keywords

controlconstraint programmingmodelingschedulingmodel-based reasoning

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Artificial intelligence for robotics (68T40)

Recommendations

• scientific article; zbMATH DE number 2084768
• Model-based reasoning: a principled approach for software engineering
• scientific article; zbMATH DE number 1759735
• scientific article; zbMATH DE number 702820
• A dynamic modelling framework for control-based computing system design

Cites work

• scientific article; zbMATH DE number 4209573 (Why is no real title available?)
• scientific article; zbMATH DE number 3722109 (Why is no real title available?)
• scientific article; zbMATH DE number 1234567 (Why is no real title available?)
• scientific article; zbMATH DE number 870438 (Why is no real title available?)
• A Sufficient Condition for Backtrack-Free Search
• Automated and algorithmic debugging. 1st international workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993. Proceedings
• Computing with continuous change
• Consistency in networks of relations
• Generalized semantics and abstract interpretation for constraint logic programs
• Tractable constraints on ordered domains
• Truly concurrent constraint programming
• Unfolding and fixpoint semantics of concurrent constraint logic programs

Cited in

(3)

• Soft computing in model-based predictive control
• A dynamic modelling framework for control-based computing system design
• scientific article; zbMATH DE number 1747646 (Why is no real title available?)

This page was built for publication: Model-based computing: Developing flexible machine control software

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