Sciweavers

3565 search results - page 37 / 713
» Modeling a system controller for timing analysis
Sort
View
AUTOMATICA
2006
78views more  AUTOMATICA 2006»
15 years 2 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
115
Voted
ECRTS
1999
IEEE
15 years 7 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 7 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 7 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
103
Voted
ACSD
2010
IEEE
255views Hardware» more  ACSD 2010»
15 years 19 days 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...