Login / Signup
On the Decidability of Reachability in Linear Time-Invariant Systems.
Nathanaël Fijalkow
Joël Ouaknine
Amaury Pouly
João Sousa Pinto
James Worrell
Published in:
CoRR (2018)
Keyphrases
</>
complex systems
dynamic systems
manufacturing systems
description logics
multi modal
face recognition
support vector
dynamic programming
optimization algorithm
control scheme
feedback control