Managing multi-mode tasks with time cost and quality levels using optimal discrete control synthesis

Abstract : Real-time control systems are complex to design, and automation support is important. We are interested in systems with multiple tasks, each with multiple modes, implementing a functionality with different levels of quality (e.g., computation approximation), and cost (e.g., computation time, energy). It is complex to control the switching of modes in order to insure properties like bounding cost while maximizing quality. We outline a technique for the automatic generation of such controllers involving an automaton-based formal model, and using optimal discrete control synthesis
Type de document :
Communication dans un congrès
14th Euromicro Conference on Real-Time Systems (ECRTS'02), Jun 2002, Vienna, Austria. IEEE, pp.241-248, 2002, 〈10.1109/EMRTS.2002.1019204〉
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00525533
Contributeur : Hervé Marchand <>
Soumis le : mardi 12 octobre 2010 - 09:34:09
Dernière modification le : mercredi 29 novembre 2017 - 15:06:09
Document(s) archivé(s) le : jeudi 13 janvier 2011 - 02:39:20

Fichier

2002-ECRTS-Robotic.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

Collections

Citation

Hervé Marchand, Éric Rutten. Managing multi-mode tasks with time cost and quality levels using optimal discrete control synthesis. 14th Euromicro Conference on Real-Time Systems (ECRTS'02), Jun 2002, Vienna, Austria. IEEE, pp.241-248, 2002, 〈10.1109/EMRTS.2002.1019204〉. 〈inria-00525533〉

Partager

Métriques

Consultations de la notice

175

Téléchargements de fichiers

94