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