On the decidability of reachability in continuous time linear time-invariant systems.

Mohan Dantam Amaury Pouly

Published in: HSCC (2021)

Keyphrases

complex systems
real time
dynamic programming
description logics
fuzzy sets
regression model
closed loop
query answering
dynamic systems
open loop