Discrete-time hybrid modeling and verification.

Fabio Danilo Torrisi Alberto Bemporad

Published in: CDC (2001)

Keyphrases

data sets
hybrid models
modeling framework
databases
search engine
image processing
multi agent systems
formal verification
colored petri nets