Sciweavers

1146 search results - page 152 / 230
» Periodically Controlled Hybrid Systems
Sort
View
HYBRID
2007
Springer
14 years 3 months ago
Switch Detection in Genetic Regulatory Networks
Abstract. This paper considers piecewise affine models of genetic regulatory networks and focuses on the problem of detecting switches among different modes of operation in gene e...
Riccardo Porreca, Giancarlo Ferrari-Trecate, Danie...
ICDE
2010
IEEE
178views Database» more  ICDE 2010»
13 years 9 months ago
Autonomic workload execution control using throttling
— Database Management Systems (DBMSs) are often required to simultaneously process multiple diverse workloads while enforcing business policies that govern workload performance. ...
Wendy Powley, Patrick Martin, Mingyi Zhang, Paul B...
RTSS
2009
IEEE
14 years 4 months ago
New Response Time Bounds for Fixed Priority Multiprocessor Scheduling
Recently, there have been several promising techniques developed for schedulability analysis and response time analysis for multiprocessor systems based on over-approximation. Thi...
Nan Guan, Martin Stigge, Wang Yi, Ge Yu
HYBRID
2009
Springer
14 years 1 months ago
Trajectory Based Verification Using Local Finite-Time Invariance
Abstract. In this paper we propose a trajectory based reachability analysis by using local finite-time invariance property. Trajectory based analysis are based on the execution tra...
A. Agung Julius, George J. Pappas
HAPTICS
2008
IEEE
13 years 9 months ago
DC Motor Damping: A Strategy to Increase Passive Stiffness of Haptic Devices
Abstract. Physically dissipative damping can increase the range of passive stiffness that can be rendered by a haptic device. Unlike simulated damping it does not introduce noise i...
Manohar B. Srikanth, Hari Vasudevan, Manivannan Mu...