6308 search results - page 56 / 1262 » Modeling Urgency in Timed Systems |
163
click to vote
AUTOMATICA
2011
14 years 4 months ago
2011
Fluidification constitutes a relaxation technique for studying discrete event systems through fluidified approximated models, thus avoiding the state explosion problem. Moreove...
FDL
2007
IEEE
15 years 4 months ago
2007
IEEE
This article introduces the Time Model subprofile of MARTE, a new OMG UML Profile dedicated to Modeling and Analysis of Real-Time and Embedded systems. After a brief presentatio...
APSEC
2002
IEEE
15 years 2 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 ...
ICRA
2002
IEEE
15 years 2 months ago
2002
IEEE
— We introduce precomputed multizone elastokinematic models for interactive simulation of multibody kinematic systems which include elastostatic deformations. This enables an e...
EUSFLAT
2007
14 years 11 months ago
2007
This paper presents a fuzzy system approach to the prediction of nonlinear time series and dynamical systems based on a fuzzy model that includes its derivative information. The u...