Level-Set Approach for Reachability Analysis of Hybrid Systems under Lag Constraints.
Giovanni GranatoHousnaa ZidaniPublished in: SIAM J. Control. Optim. (2014)
Keyphrases
- hybrid systems
- reachability analysis
- intelligent systems
- black box
- meta learning
- neural network
- markov decision processes
- discrete event
- computational intelligence
- model checking
- artificial intelligence
- soft computing
- inductive learning
- supervised learning
- workflow systems
- artificial neural networks
- timed automata
- reinforcement learning