27 search results - page 2 / 6 » Modelling Discrete Behaviour in a Continuous-Time Formalism |
EMSOFT
2007
Springer
13 years 11 months ago
2007
Springer
Key challenges in the performance estimation of distributed real-time embedded (DRE) systems include the systematic measurement of coverage by simulations, and the automated gener...
APSEC
2002
IEEE
13 years 10 months ago
2002
IEEE
Continuous action systems (CAS) is a formalism intended for modeling hybrid systems (systems that combine discrete control with continuous behavior), and proving properties about ...
CIBB
2009
13 years 6 months ago
2009
Modelling activities in molecular biology face the difficulty of prediction to link molecular knowledge with cell phenotypes. Even when the interaction graph between molecules is k...
JAIR
2006
13 years 5 months ago
2006
In this paper we present pddl+, a planning domain description language for modelling mixed discrete-continuous planning domains. We describe the syntax and modelling style of pddl...
TC
2010
12 years 12 months ago
2010
Hybrid systems have emerged as an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. Under this paradigm, distr...