Optimal Manufacturing Controller Synthesis Using Situation Calculus.

Omar Adalat Daniele Scrimieri Savas Konur

Published in: SGAI Conf. (2023)

Keyphrases

situation calculus
controller synthesis
initial state
action theories
event calculus
dynamic programming
reasoning about actions
provably correct
optimal solution
modal logic
autonomic computing systems
dynamic environments
agent programming
concurrent actions