Sciweavers

3565 search results - page 7 / 713
» Modeling a system controller for timing analysis
Sort
View
CDC
2010
IEEE
134views Control Systems» more  CDC 2010»
14 years 6 months ago
Nonlinear state-dependent delay modeling and stability analysis of internet congestion control
It is shown that the queuing delay involved in the congestion control algorithm is state-dependent and does not depend on the current time. Then, using an accurate formulation for ...
Corentin Briat, Håkan Hjalmarsson, Karl Henr...
DAC
2003
ACM
16 years 18 days ago
Accurate timing analysis by modeling caches, speculation and their interaction
Schedulability analysis of real-time embedded systems requires worst case timing guarantees of embedded software performance. This involves not only language level program analysi...
Xianfeng Li, Tulika Mitra, Abhik Roychoudhury
CDC
2008
IEEE
143views Control Systems» more  CDC 2008»
15 years 6 months ago
On the use of numerical methods for analysis and control of nonlinear convective systems
Abstract— A common approach to designing feedback controllers for nonlinear partial differential equations (PDEs) is to linearize the system about an equilibrium and use the line...
Edward Allen, John A. Burns, David S. Gilliam
BIRTHDAY
2006
Springer
15 years 3 months ago
Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification
We describe a gate level design of a FlexRay-like bus interface. An electronic control unit (ECU) is obtained by integrating this interface into the design of the verified VAMP pro...
Steffen Knapp, Wolfgang J. Paul
RTSS
2007
IEEE
15 years 6 months ago
Composing Functional and State-Based Performance Models for Analyzing Heterogeneous Real-Time Systems
— We present a performance analysis technique for distributed real-time systems in a setting where certain components are modeled in a purely functional manner, while the remainin...
Linh T. X. Phan, Samarjit Chakraborty, P. S. Thiag...