Robust Controller Synthesis for Hybrid Systems Using Modal Logic.

Thomas Moor Jennifer M. Davoren

Published in: HSCC (2001)

Keyphrases

modal logic
hybrid systems
temporal logic
black box
controller synthesis
intelligent systems
neural network
meta learning
artificial intelligence
situation calculus
mathematical model
business processes
soft computing
computational intelligence
software engineering
search algorithm
multi agent