Using controller-synthesis techniques to build property-enforcing layers

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2618, Issue , 2003, Pages 174-188

  Altisen, Karine ^a   Clodic, Aurélie ^b   Maraninchi, Florence ^a   Rutten, Eric ^c  

^a VERIMAG   (France)

^b LAAS CNRS   (France)

^c INRIA RHÔNE ALPES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; SYNTHESIS (CHEMICAL);

CONTROLLER SYNTHESIS; GLOBAL CONSTRAINTS; INTERMEDIATE LAYERS; LOGICAL CONSTRAINTS; MECHANICAL CHARACTERISTICS; SHARED RESOURCES; TEMPORAL LOGIC PROPERTIES;

CONTROLLERS;

EID: 35248879197     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36575-3_13     Document Type: Article

References (18)

1. K. Altisen, G. Gößler, and J. Sifakis. Scheduler modelling based on the controller synthesis paradigm. Journal of Real-Time Systems, 23(1), 2002.
2. S. Balemi. Control of Discrete Event Systems: Theory and Application. PhD thesis, Automatic Control Laboratory, Swiss Federal Institute of Technology (ETH), Zurich, Switzerland, May 1992.
3. G. Berry. The foundations of esterel. Proof, Language and Interaction: Essays in Honour of Robin Milner, 2000. Editors: G. Plotkin, C. Stirling and M. Tofte.
4. A. Chakrabarti, L. de Alfaro, T.A. Henzinger, and F.Y.C. Mang. Synchronous and bidirectional component interfaces. In CAV 2002: 14th International Conference on Computer Aided Verification, LNCS. Springer Verlag, 2002.
5. Aurélie Clodic. Tâches multi-modes et génération automatique de contrôleurs. Master thesis report, Institut National Polytechnique de Grenoble, June 2002. (in French).
6. Thomas Colcombet and Pascal Fradet. Enforcing trace properties by program transformation. In Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL-00). ACM Press, January 19-21 2000.
7. E.A. Emerson and E. Clarke. Design and synthesis of synchronization skeletons using branching-time temporal logic. In Proc. Workshop on Logic of Programs. LNCS 131, Springer Verlag, 1981.
8. Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns. Addison Wesley, Reading, MA, 1995.
9. L. Lamport. Proving the correctness of multiprocess programs. IEEE Transactions on Software Engineering, SE-3(2):125-143, 1977.
10. F. Maraninchi and N. Halbwachs. Compositional semantics of non-deterministic synchronous languages. In European Symposium On Programming, Linkoping (Sweden), April 1996. Springer verlag, LNCS 1058.
11. F. Maraninchi and Y. Rémond. Argos: an automaton-based synchronous language. Computer Languages, (27):61-92, 2001.
12. F. Maraninchi and Y. Rémond. Mode-automata: a new domain-specific construct for the development of safe critical systems. Science of Computer Programming, to appear, 2002.
13. H. Marchand, P. Bournai, M. Le Borgne, and P. Le Guernic. Synthesis of discrete-event controllers based on the Signal environment. Discrete Event Dynamical System: Theory and Applications, 10(4), October 2000.
14. Hervé Marchand and Éric Rutten. Managing multi-mode tasks with time cost and quality levels using optimal discrete control synthesis. In Proceedings of the 14th Eurvmicro Conference on Real-Time Systems, ECRTS'02, 2002.
15. Eric Rutten. A framework for using discrete control synthesis in safe robotic programming and teleoperation. In Proceedings of the IEEE International Conference on Robotics and Automation, ICRA'2001, 2001.
16. Eric Rutten and Hervé Marchand. Task-level programming for control systems using discrete control synthesis. Research Report 4389, INRIA, February 2002.
17. Fred B. Schneider. Enforceable security policies. ACM Transactions on Information and System Security, 3(1):30-50, February 2000.
18. W. M. Wonham and P. J. Ramadge. On the supremal controllable sublanguage of a given language. SIAM Journal on Control and Optimization, 25(3):637-659, May 1987.