Constructing verification models of nonlinear Simulink systems via syntactic hybridization.
Nikolaos KekatosMarcelo ForetsGoran FrehsePublished in: CDC (2017)
Keyphrases
- complex systems
- mathematical models
- computational models
- reactive systems
- natural language processing
- data sets
- physical systems
- trading systems
- biological systems
- hybrid model
- natural language
- statistical models
- model checking
- control system
- probabilistic model
- learning algorithm
- computing systems
- finite state machines
- linear systems
- nonlinear models
- asynchronous circuits