20126 search results - page 38 / 4026 » Timed Transition Systems |
66
Voted
CAV
2001
Springer
15 years 2 months ago
2001
Springer
Regular languages have proved useful for the symbolic state exploration of infinite state systems. They can be used to represent infinite sets of system configurations; the tran...
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
— We present a novel observer design for a class of single-output nonlinear systems with Markov jumps. The Markov jump process interferes with a deterministic nonlinear dynamics ...
MFCS
2007
Springer
15 years 3 months ago
2007
Springer
We investigate algorithmic properties of infinite transition graphs that are generated by rewriting systems over unranked trees. Two kinds of such rewriting systems are studied. ...
ICALP
1994
Springer
15 years 1 months ago
1994
Springer
Abstract. In this paper we de ne a precise notion of abstraction relation between continuous dynamical systems and discrete state-transition systems. Our main result states that ev...
AAAI
1998
14 years 11 months ago
1998
Physical systemsoften exhibit complexnonlinear behaviors in continuoustime at multiple temporaland spatial scales. Abstractionssimplify behavioralanalysis and help focus on domina...