Verification of Hybrid Systems: Monotonicity in the AHS Control System.

John A. Haddon Datta N. Godbole Akash Deshpande John Lygeros

Published in: Hybrid Systems (1995)

Keyphrases

hybrid systems
control system
black box
intelligent systems
soft computing
neural network
fuzzy logic
discrete event
computational intelligence
meta learning
artificial intelligence
real time
simulation model
dynamic systems
decision making
decision trees
complex systems
machine learning