Sciweavers

118 search results - page 9 / 24
» Worst-case analysis of discrete systems based on conditional...
Sort
View
CDC
2010
IEEE
134views Control Systems» more  CDC 2010»
15 years 1 months ago
Observer design for Lipschitz systems with discrete-time measurements
In this paper, the authors investigate the problem of designing an observer for Lipschitz nonlinear systems with discrete time measurements (continuous-discrete time systems). The ...
Vincent Andrieu, Madiha Nadri
ACIVS
2009
Springer
16 years 18 days ago
Behavioral State Detection of Newborns Based on Facial Expression Analysis
Abstract. Prematurely born infants are observed at a Neonatal Intensive Care Unit (NICU) for medical treatment. Whereas vital body functions are continuously monitored, their incub...
Lykele Hazelhoff, Jungong Han, Sidarto Bambang-Oet...
TACAS
2007
Springer
92views Algorithms» more  TACAS 2007»
16 years 3 days ago
Model Checking Liveness Properties of Genetic Regulatory Networks
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
Grégory Batt, Calin Belta, Ron Weiss
CDC
2008
IEEE
151views Control Systems» more  CDC 2008»
16 years 14 days ago
Analysis of hybrid systems resulting from relay-type hysteresis and saturation: A Lyapunov approach
— This paper studies a class of hybrid systems with linear (or linear plus saturated linear) continuous and discrete dynamics, which are determined by a flow map and jump map, a...
Dan Dai, Ricardo G. Sanfelice, Tingshu Hu, Andrew ...
SIGMETRICS
2006
ACM
121views Hardware» more  SIGMETRICS 2006»
15 years 12 months ago
Transient analysis of tree-Like processes and its application to random access systems
A new methodology to assess transient performance measures of tree-like processes is proposed by introducing the concept of tree-like processes with marked time epochs. As opposed...
Jeroen Van Velthoven, Benny Van Houdt, Chris Blond...