Login / Signup
Decidable and semi-decidable controller synthesis for classes of discrete time hybrid systems.
René Vidal
Shawn Schaffert
Omid Shakernia
John Lygeros
Shankar Sastry
Published in:
CDC (2001)
Keyphrases
</>
hybrid systems
controller synthesis
first order logic
computational intelligence
black box
intelligent systems
soft computing
real time
neural network
artificial intelligence
support vector
autonomic computing systems
decision making
dynamic programming
simulation model
dynamic systems