12115 search results - page 16 / 2423 » Bisimulation of Dynamical Systems |
CONCUR
2005
Springer
14 years 2 months ago
2005
Springer
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...
ECEASST
2008
13 years 8 months ago
2008
FORMATS
2006
Springer
14 years 11 days ago
2006
Springer
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...
HYBRID
2001
Springer
14 years 1 months ago
2001
Springer
HYBRID
2000
Springer
14 years 9 days ago
2000
Springer