Login / Signup
Integrating Timed Condition/Event Systems and Timed Automata for the Verification of Hybrid Systems.
Ralf Huuck
Yassine Lakhnech
Luis Urbina
Sebastian Engell
Stefan Kowalewski
Jörg Preußig
Published in:
Scalable Comput. Pract. Exp. (1998)
Keyphrases
</>
timed automata
hybrid systems
model checking
discrete event
intelligent systems
temporal logic
meta learning
complex systems
artificial intelligence
neural network
black box
real time systems
expert systems
petri net
soft computing
machine learning
decision making
theorem prover
software engineering
decision trees