From Simulation Models to Hybrid Automata Using Urgency and Relaxation.

Stefano Minopoli Goran Frehse

Published in: HSCC (2016)

Keyphrases

simulation models
hybrid automata
simulation model
finite state automata
simulation tools
agent based simulation
air cargo
iterative algorithms
probabilistic relaxation
data assimilation
reinforcement learning
state space
integrity constraints