Algorithms for Scheduling Imprecise Computations
Computer - Special issue on real-time systems
Overload Management in Real-Time Control Applications Using m,k $(m,k)$-Firm Guarantee
IEEE Transactions on Parallel and Distributed Systems
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
IEEE Transactions on Computers
Embedded Control Systems Development with Giotto
OM '01 Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems
Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications
Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications
Digital Control of Dynamic Systems
Digital Control of Dynamic Systems
Feedback–Feedforward Scheduling of Control Tasks
Real-Time Systems
Scheduling Tasks with Markov-Chain Based Constraints
ECRTS '05 Proceedings of the 17th Euromicro Conference on Real-Time Systems
Firm Real-Time System Scheduling Based on a Novel QoS Constraint
IEEE Transactions on Computers
Quality-of-Control Management in Overloaded Real-Time Systems
IEEE Transactions on Computers
Handling timing constraints violations in soft real-time applications as exceptions
Journal of Systems and Software
Optimal CPU allocation to a set of control tasks with soft real--time execution constraints
Proceedings of the 16th international conference on Hybrid systems: computation and control
Time-triggered implementations of mixed-criticality automotive software
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
Hi-index | 0.01 |
In this paper we present a methodology for designing embedded controllers with a variable accuracy. The adopted paradigm is the so called any-time control, which derives from the computing paradigm known as "imprecise computation". The most relevant contributions of the paper are a procedure for designing an incremental control law, whose different pieces cater for increasingly aggressive control requirements, and a modelling technique for the execution platform that allows us to design provably correct switching policies for the controllers. The methodology is validated by both simulations and experimental results.