147 search results - page 10 / 30 » Approximating Continuous Systems by Timed Automata |
IJFCS
2008
13 years 7 months ago
2008
We consider the problem of synchronizing the activity of all the membranes of a P system. After pointing at the connection with a similar problem dealt with in the field of cellul...
ACRI
2006
Springer
14 years 1 months ago
2006
Springer
Cellular automata are discrete dynamical systems that are widely used to model natural systems. Classically they are run with perfect synchrony ; i.e., the local rule is applied to...
CAV
2003
Springer
14 years 21 days ago
2003
Springer
We consider the problem of synthesizing controllers for timed systems modeled using timed automata. The point of departure from earlier work is that we consider controllers that ha...
ARC
2007
Springer
13 years 7 months ago
2007
Springer
General delay dynamical systems in which uncertainty is present in the form of probability measure dependent dynamics are considered. Several motivating examples arising in biolog...
ROBOCUP
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...