296 search results - page 4 / 60 » Discrete and Hybrid Nonholonomy |
HYBRID
1994
Springer
14 years 1 months ago
1994
Springer
We make the case that Discrete Event System Speci cation DEVS is a universal formalismfor discrete event dynamical systems DEDS. DEVS o ers an expressive framework for modelling, ...
WSC
2000
13 years 11 months ago
2000
One of the approaches to modeling hybrid systems is to assign algebraic-differential equations describing the continuous behavior to states of state machines that represent discre...
ATVA
2006
Springer
14 years 1 months ago
2006
Springer
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...
APN
2008
Springer
13 years 11 months ago
2008
Springer
HYPENS is an open source tool to simulate timed discrete, continuous and hybrid Petri nets. It has been developed in Matlab to allow designer and user to take advantage of several...
NHM
2010
13 years 4 months ago
2010
We present different ways, coming from Finite Volume or Mixed Finite Element frameworks, to discretize convection terms in Hybrid Finite Volume, Mimetic Finite Difference and Mixed...