Model-based computing: Developing flexible machine control software

DOI10.1016/S0004-3702(99)00066-1zbMATH Open0939.68851OpenAlexW2055742719MaRDI QIDQ1978447FDOQ1978447

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

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)

Cites Work

• Consistency in networks of relations
• Truly concurrent constraint programming
• A Sufficient Condition for Backtrack-Free Search
• Title not available (Why is that?)
• Tractable constraints on ordered domains
• Title not available (Why is that?)
• Title not available (Why is that?)
• Unfolding and fixpoint semantics of concurrent constraint logic programs
• Automated and algorithmic debugging. 1st international workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993. Proceedings
• Computing with continuous change
• Generalized semantics and abstract interpretation for constraint logic programs
• Title not available (Why is that?)

Cited In (2)

• Soft computing in model-based predictive control
• Title not available (Why is that?)

   Recommendations

• Title not available (Why is that?) 👍 👎
• Model-based reasoning: a principled approach for software engineering 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• A dynamic modelling framework for control-based computing system design 👍 👎

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)