3565 search results - page 22 / 713 » Modeling a system controller for timing analysis |
157
click to vote
FASE
2004
Springer
15 years 3 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
— In this paper we use bilevel programming to find the maximum difference between a reference controller and a low-complexity controller in terms of the infinitynorm difference...
CDC
2009
IEEE
15 years 3 months ago
2009
IEEE
Abstract-- Dataflow representations of Digital Signal Processing (DSP) software have been developing since the 1980's. They have proven to be useful in identifying bottlenecks...
AUTOMATICA
2002
14 years 11 months ago
2002
For a dual-rate control system where the output sampling interval is an integer multiple of the control interval, we propose a model-based inferential control scheme which uses a ...
RTSS
2000
IEEE
15 years 4 months ago
2000
IEEE
The maturity of schedulabilty analysis techniquesfor fired-prioritypreemptive scheduling has enabled the consideration of timing issues at design time using a specification of the...