Sciweavers

448 search results - page 21 / 90
» The Complexity of Codiagnosability for Discrete Event and Ti...
Sort
View
HYBRID
2000
Springer
13 years 11 months ago
Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems
Abstract. In many cases, complex system behaviors are naturally modeled as nonlinear differential equations. However, these equations are often hard to analyze because of "sti...
Pieter J. Mosterman, Gautam Biswas
WSC
2008
13 years 10 months ago
Simulation and optimization in a health center in Medellin, Colombia
Simulation has been widely applied to health care cases in numerous countries. In Colombia, these applications are scarce. We use a systemic approach, discrete event simulation, s...
Karol Perez, Laura Cardona, Sebastian Gomez, Tomas...
ECRTS
2004
IEEE
13 years 11 months ago
An Event Stream Driven Approximation for the Analysis of Real-Time Systems
This paper presents a new approach to understand the event stream model. Additionally a new approximation algorithm for the feasibility test of the sporadic and the generalized mu...
Karsten Albers, Frank Slomka
CMSB
2009
Springer
14 years 2 months ago
Approximation of Event Probabilities in Noisy Cellular Processes
Molecular noise, which arises from the randomness of the discrete events in the cell, significantly influences fundamental biological processes. Discrete-state continuous-time st...
Frédéric Didier, Thomas A. Henzinger...
LCTRTS
2010
Springer
14 years 2 months ago
Contracts for modular discrete controller synthesis
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
Gwenaël Delaval, Hervé Marchand, &Eacu...