3169 search results - page 76 / 634 » Robust Timed Automata |
EUSFLAT
2009
13 years 6 months ago
2009
This article deals with the recognition of recurring multivariate time series patterns modelled sample-point-wise by parametric fuzzy sets. An efficient classification-based approa...
CORR
2011
Springer
13 years 16 days ago
2011
Springer
—We consider timed Petri nets, i.e., unbounded Petri nets where each token carries a real-valued clock. Transition arcs are labeled with time intervals, which specify constraints...
ICALP
2000
Springer
14 years 11 days ago
2000
Springer
In this paper we investigate timed polyhedra, i.e. polyhedra which are finite unions of full dimensional simplices of a special kind. Such polyhedra form the basis of timing analys...
TACAS
1999
Springer
14 years 1 months ago
1999
Springer
We consider the problem of computing concrete diagnostics for timed automata and reachability properties. Concrete means containing information both about the discrete state change...
FORMATS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We present a systematic translation from timed models of genetic regulatory networks into products of timed automata to which one can apply verification tools in order l...