Sciweavers

3565 search results - page 37 / 713
» Modeling a system controller for timing analysis
Sort
View
AUTOMATICA
2006
78views more  AUTOMATICA 2006»
14 years 12 months ago
Stabilizing decentralized model predictive control of nonlinear systems
This note presents a stabilizing decentralized model predictive control (MPC) algorithm for nonlinear discrete time systems. No information is assumed to be exchanged between loca...
L. Magni, Riccardo Scattolini
ECRTS
1999
IEEE
15 years 4 months ago
Timed automaton models for simple programmable logic controllers
We give timed automaton models for a class of Programmable Logic Controller (PLC) applications, that are programmed in a simple fragment of the language Instruction Lists as defin...
Angelika Mader, Hanno Wupper
RTSS
2000
IEEE
15 years 4 months ago
Performance Specifications and Metrics for Adaptive Real-Time Systems
While early research on real-time computing was concerned with guaranteeing avoidance of undesirable effects such as overload and deadline misses, adaptive real-time systems are d...
Chenyang Lu, John A. Stankovic, Tarek F. Abdelzahe...
RTSS
2002
IEEE
15 years 4 months ago
Queueing Model Based Network Server Performance Control
Controlling the timing performance of a network server is a challenging problem. This paper presents a Queueing Model Based Feedback Control approach to keep the timing performanc...
Lui Sha, Xue Liu
ACSD
2010
IEEE
255views Hardware» more  ACSD 2010»
14 years 9 months ago
From POOSL to UPPAAL: Transformation and Quantitative Analysis
POOSL (Parallel Object-Oriented Specification Language) is a powerful general purpose system-level modeling language. In research on design space exploration of motion control syst...
Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jac...