253 search results - page 33 / 51 » Formal analysis of timed continuous Petri nets |
119
click to vote
ECEASST
2008
15 years 1 months ago
2008
In emergency scenarios we can obtain a more effective coordination among team members constituting a mobile ad hoc network (MANET) through the use of reconfigurable systems. This ...
109
click to vote
ICECCS
2000
IEEE
15 years 6 months ago
2000
IEEE
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...
107
Voted
FMSB
2008
15 years 3 months ago
2008
In this work we develop a new technique for over-approximating (in the sense of timed trace inclusion) continuous dynamical systems by timed auThis technique refines commonly-used ...
196
click to vote
CMSB
2011
Springer
14 years 1 months ago
2011
Springer
From the phosphorylation state of a molecule to the volume of a cell, parameters are ubiquitous in systems biology. At the same time, most models involve static or dynamic compart...
147
click to vote
ATVA
2006
Springer
15 years 5 months ago
2006
Springer
Whereas partial order methods have proved their efficiency for the analysis of discrete-event systems, their application to timed systems remains a challenging research topic. Here...