2467 search results - page 149 / 494 » Finite State Machines |
184
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...
180
click to vote
TSP
2008
15 years 6 months ago
2008
Abstract--The dynamics of a rule-based gene regulatory network are determined by the regulatory functions in conjunction with whatever probability distributions are involved in net...
194
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
We consider a discrete time state estimation problem over a packet-based network. In each discrete time step, a measurement packet is sent across a lossy network to an estimator u...
164
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
Regular Expressions (RegExes) are widely used in various applications to identify strings of text. Their flexibility, however, increases the complexity of the detection system and ...
188
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- We present a computational framework for identifying a set of initial states from which all trajectories of a piecewise affine (PWA) system satisfy a Linear Temporal Log...