Research challenges in feedback computing: An interdisciplinary agenda, 8th International Workshop on Feedback Computing, 2013. ,
The B-book: assigning programs to meanings, 1996. ,
DOI : 10.1017/CBO9780511624162
Supremica http://www.supremica.org ,
Using Controller-Synthesis Techniques to Build Property-Enforcing Layers, European Symposium on Programming, pp.126-141, 2003. ,
DOI : 10.1007/3-540-36575-3_13
Conclusions of the ARTIST2 roadmap on control of computing systems, ACM SIGBED (Special Interest Group on Embedded Systems) Review, vol.3, issue.3, 2006. ,
Computer-Controlled Systems. Information and System Sciences Series, 1997. ,
Concurrency control generation for dynamic threads using discrete-event systems, Communication, Control, and Computing 47th Annual Allerton Conference on, pp.927-934, 2009. ,
The synchronous languages twelve years later, Proc. of the IEEE, Special issue on embedded systems, pp.64-83, 2003. ,
Discrete Controller Synthesis for Infinite State Systems with ReaX, 12th Int. Workshop on Discrete Event Systems, WODES '14. IFAC, 2014. ,
DOI : 10.3182/20140514-3-FR-4046.00099
URL : https://hal.archives-ouvertes.fr/hal-00974553
Programming with angelic nondeterminism, Principles of Programming Languages, POPL, pp.339-352, 2010. ,
On the Complexity of Synthesizing Relaxed and Graceful Bounded-Time 2-Phase Recovery, Proceedings of FM 2009: Formal Methods, Second World Congress, pp.660-675, 2009. ,
DOI : 10.1007/978-3-642-05089-3_42
Synchronous control of reconfiguration in fractal component-based systems, Proceedings of the ninth ACM international conference on Embedded software, EMSOFT '11, pp.309-318, 2011. ,
DOI : 10.1145/2038642.2038690
URL : https://hal.archives-ouvertes.fr/inria-00596883
Introduction to Discrete Event Systems, 2008. ,
Feedback-feedforward scheduling of control tasks. Real-Time Systems, pp.25-53, 2002. ,
Synchronous and Bidirectional Component Interfaces, Computer Aided Verification, pp.414-427, 2002. ,
DOI : 10.1007/3-540-45657-0_34
A domain-specific language for multi-task systems, applying discrete controller synthesis, J. on Embedded Systems, issue.84192, p.17, 2007. ,
URL : https://hal.archives-ouvertes.fr/inria-00000867
Integrating discrete controller synthesis into a reactive programming language compiler. Discrete Event Dynamic Systems, pp.385-418, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00863286
Contracts for modular discrete controller synthesis, ACM International Conference on Languages, Compilers, and Tools for Embedded Systems, pp.57-66, 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00436560
Hope for the best, prepare for the worst: Multi-tier control for adaptive systems, Proceedings of the 36th International Conference on Software Engineering, ICSE 2014, pp.688-699, 2014. ,
Generation of concurrency control code using discrete-event systems theory, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, SIGSOFT '08/FSE-16, pp.146-157, 2008. ,
DOI : 10.1145/1453101.1453122
Multicriteria optimal discrete controller synthesis for fault-tolerant tasks, Proc. of the 10th IFAC Int. Workshop on Discrete Event Systems (WODES'10, 2010. ,
Energy-aware feedback control for a H.264 video decoder, International Journal of Systems Science, vol.3, p.16, 2013. ,
DOI : 10.1109/TVLSI.2005.859588
URL : https://hal.archives-ouvertes.fr/lirmm-00834888
Self-adaptive software meets control theory: A preliminary approach supporting reliability requirements, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), pp.283-292, 2011. ,
DOI : 10.1109/ASE.2011.6100064
A Case Study on Controller Synthesis for Data-Intensive Embedded Systems, 2009 International Conference on Embedded Software and Systems, 2009. ,
DOI : 10.1109/ICESS.2009.12
Supervisory control for software runtime exception avoidance, Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering, C3S2E '12, pp.109-112 ,
DOI : 10.1145/2347583.2347598
A control theory based approach for self-healing of un-handled runtime exceptions, Proceedings of the 8th ACM international conference on Autonomic computing, pp.217-220, 2011. ,
Automating the addition of fault tolerance with discrete controller synthesis, Formal Methods in System Design, vol.2, issue.2, pp.190-225, 2009. ,
DOI : 10.1007/s10703-009-0084-y
URL : https://hal.archives-ouvertes.fr/hal-00748687
Coordination control of component-based autonomic administration loops, Proceedings of the 15th International Conference on Coordination Models and Languages, pp.3-6, 2013. ,
Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements, Formal Methods in Software and Systems Modeling, pp.309-324, 2005. ,
DOI : 10.1007/978-3-540-31847-7_18
On the Development of Reactive Systems, Logic and Models of Concurrent Systems, 1985. ,
DOI : 10.1007/978-3-642-82453-1_17
Feedback Control of Computing Systems, 2004. ,
DOI : 10.1002/047166880X
Concurrent program synthesis based on supervisory control, Proceedings of the 2010 American Control Conference, 2010. ,
DOI : 10.1109/ACC.2010.5530904
Petri nets and programming: A survey, 2009 American Control Conference, pp.4994-4999, 2009. ,
DOI : 10.1109/ACC.2009.5159987
Smacs http://www.smacs.be ,
Designing controllable computer systems, Proceedings of the 10th conference on Hot Topics in Operating Systems - HOTOS'05, pp.9-9, 2005. ,
Feedback on feedback in autonomic computing systems, 7th International Workshop on Feedback Computing, 2012. ,
The vision of autonomic computing, Computer, vol.36, issue.1, pp.41-50, 2003. ,
DOI : 10.1109/MC.2003.1160055
Supervisory Controller Synthesis for Safe Software Adaptation, 12th IFAC -IEEE International Workshop on Discrete Event Systems, WODES, 2014. ,
DOI : 10.3182/20140514-3-FR-4046.00035
URL : https://hal.archives-ouvertes.fr/hal-01091155
Controller Synthesis from LSC Requirements, Fundamental Approaches to Software Engineering, FASE'09, 2009. ,
DOI : 10.1007/978-3-642-00593-0_6
Automated synthesis of multitolerance, International Conference on Dependable Systems and Networks, 2004, p.209, 2004. ,
DOI : 10.1109/DSN.2004.1311891
Autonomic Computing -Principles , Design and Implementation, Undergraduate Topics in Computer Science Series, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00854882
Feedback Control of Cyber-physical Systems with Multi Resource Dependencies and Model Uncertainties, 2010 31st IEEE Real-Time Systems Symposium, 2010. ,
DOI : 10.1109/RTSS.2010.14
Hierarchical model-based autonomic control of software systems, ACM SIGSOFT Software Engineering Notes, vol.30, issue.4, pp.1-7, 2005. ,
DOI : 10.1145/1082983.1083071
Schedulability analysis of petri nets based on structural properties, Application of Concurrency to System Design Sixth International Conference on, pp.69-78, 2006. ,
Performance specifications and metrics for adaptive real-time systems, Real-Time Systems Symposium, 2000. ,
Feedback control real-time scheduling: Framework , modeling and algorithms. Real-Time Systems Journal, Special Issue on Control- Theoretical Approaches to Real-Time Computing, pp.85-126, 2002. ,
A Game-Theoretic Resource Manager for RT Applications, 2013 25th Euromicro Conference on Real-Time Systems, 2013. ,
DOI : 10.1109/ECRTS.2013.17
Experience with CONSER: A System for Server Control through Fluid Modeling, IEEE Transactions on Computers, vol.60, issue.7, pp.951-963, 2011. ,
DOI : 10.1109/TC.2010.164
URL : https://hal.archives-ouvertes.fr/hal-00480859
Sigali http ,
Synthesis of discrete-event controllers based on the signal environment. Discrete Event Dynamic Systems: Theory and Applications, pp.325-346, 2000. ,
URL : https://hal.archives-ouvertes.fr/hal-00546147
State-space feedback control for elastic distributed storage in a cloud environment, ICAS 2012 The Eighth International Conference on Autonomic and Autonomous Systems, pp.18-27, 2012. ,
A systematic survey on the design of self-adaptive software systems using control engineering approaches, 2012 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), p.2012, 2012. ,
DOI : 10.1109/SEAMS.2012.6224389
Hammerstein???Wiener nonlinear model based predictive control for relative QoS performance and resource management of software systems, Control Engineering Practice, vol.20, issue.1, pp.49-61, 2012. ,
DOI : 10.1016/j.conengprac.2011.09.003
Supervisory control of software systems, IEEE Transactions on Computers, vol.53, issue.9, pp.1187-1199, 2004. ,
DOI : 10.1109/TC.2004.67
Supervisory Control of a Class of Discrete Event Processes, SIAM Journal on Control and Optimization, vol.25, issue.1, pp.206-230, 1987. ,
DOI : 10.1137/0325013
Supervisory control of workflow scheduling, Advanced Transaction Models and Architectures Workshop (ATMA), 1996. ,
Supervisory Control of Software Execution for Failure Avoidance: Experience from the Gadara Project, Proc. of the 10th IFAC Int. Workshop on Discrete Event Systems (WODES'10), 2010. ,
DOI : 10.3182/20100830-3-DE-4013.00044
The theory of deadlock avoidance via discrete control, Principles of Programming Languages, POPL, pp.252-263, 2009. ,
Feedback scheduling, ACM SIGPLAN Notices, vol.42, issue.12, pp.7-14, 2007. ,
DOI : 10.1145/1341752.1341753
Honoring slas on cloud computing services: a control perspective, Proceedings of the European Control Conference, 2009. ,
Application of control theory in management of virtualized data centres, Fifth International Workshop on Feedback Control Implementation and Design in Computing Systems and Networks (FeBID), 2010. ,
Utility-driven workload management using nested control design, American Control Conference, p.6, 2006. ,