666 search results - page 77 / 134 » Inspector Methods for State Abstraction |
101
click to vote
RULEML
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Event processing rules may be prescribed in many different ways, including by finite state machines, graphical methods, ECA (event-conditionaction) rules or reactive rule...
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
— In this paper, we consider a motion planning problem for a class of constrained nonlinear systems. In each simplex of a triangulation of the set of states, the nonlinear dynami...
GLOBECOM
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract—In this contribution, we propose an original algorithm for self-localization in mobile ad-hoc networks. The proposed technique, based on interval analysis, is suited to ...
103
click to vote
ICQNM
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract— Biological processes, and in particular DNA hybridization, offer the potential to form the basis for the assembly of devices at micro- and nano-scales. Our aim is to im...
FORMATS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Quantitative model checking computes the probability values of a given property quantifying over all possible schedulers. It turns out that maximum and minimum probabilit...