296 search results - page 16 / 60 » Linear Parametric Model Checking of Timed Automata |
ATVA
2008
Springer
13 years 9 months ago
2008
Springer
TOCL
2002
13 years 7 months ago
2002
IJFCS
2006
13 years 7 months ago
2006
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...
AUTOMATICA
2008
13 years 7 months ago
2008
This paper proposes a disturbance-based control parametrization under the Model Predictive Control framework for constrained linear discrete time systems with bounded additive dis...
FAC
2008
13 years 7 months ago
2008
We extend the approach of model checking parameterized networks of processes by means of network invariants to the setting of real-time systems. We introduce timed transition stru...