Diagnosing Hybrid Cyber-Physical Systems using State-Space Models and Satisfiability Modulo Theory.

Alexander Diedrich Oliver Niggemann

Published in: DX (2018)

Keyphrases

state space
artificial intelligence
dynamic programming
low cost
decision support system
action recognition