13 search results - page 2 / 3 » Robust Controller Synthesis for Hybrid Systems Using Modal L... |
VMCAI
2009
Springer
14 years 9 days ago
2009
Springer
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. This approach works by searching for inductive invariants of a give...
CAV
2010
Springer
13 years 3 months ago
2010
Springer
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
TSP
2008
13 years 5 months ago
2008
This paper is motivated by multichannel sampling applications. We consider a hybrid filter banks consisting of a set of fractional delays operators, slow A/D converters with differ...
CONCUR
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. We consider the control problem for timed automata against specifications given as MTL formulas. The logic MTL is a linear-time timed temporal logic which extends LTL wit...
EDCC
2006
Springer
13 years 9 months ago
2006
Springer
The importance of fault tolerance at the processor architecture level has been made increasingly important due to rapid advancements in the design and usage of high performance de...