Login / Signup
A Hybrid Architecture for Correct-by-Construction Hybrid Planning and Control.
Robert P. Goldman
Daniel Bryce
Michael J. S. Pelican
David J. Musliner
Kyungmin Bae
Published in:
NFM (2016)
Keyphrases
</>
hybrid architecture
process management
control system
agent architecture
database systems
artificial intelligence
information systems
object oriented
power system
planning problems