Login / Signup
Minimum Resource Commitment for Reachability Specifications in a Discrete Time Linear Setting.
Riccardo Vignali
Maria Prandini
Published in:
IEEE Trans. Autom. Control. (2017)
Keyphrases
</>
state space
markov chain
resource management
markov processes
linear systems
minimum cost
resource allocation
closed form
information systems
linear model
query language
formal specification
finite state
multiscale
control flow
operational semantics
high level