Control design for specifications on stochastic hybrid systems.

Maryam Kamgarpour Sean Summers John Lygeros

Published in: HSCC (2013)

Keyphrases

hybrid systems
discrete event
artificial intelligence
case study
design process
data mining
model selection
black box
simulation model