Research challenges in feedback computing: An interdisciplinary agenda, 8th International Workshop on Feedback Computing, 2013. ,
,
Automatic generation of discrete handlers of real-time continuous control tasks, IFAC World Congress, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00640406
The B-book: assigning programs to meanings, 1996. ,
,
Theory and practice of hierarchical control, 1980. ,
Using controller synthesis to build property-enforcing layers, European Symposium on Programming, vol.2618, pp.126-141, 2003. ,
Conclusions of the ARTIST2 roadmap on control of computing systems, ACM SIGBED (Special Interest Group on Embedded Systems) Review, vol.3, issue.3, 2006. ,
Feedback Systems: An Introduction for Scientists and Engineers, 2015. ,
Computer-Controlled Systems. Information and System Sciences Series, 1997. ,
Concurrency control generation for dynamic threads using discrete-event systems, Communication, Control, and Computing, pp.927-934, 2009. ,
The synchronous languages twelve years later, Proc. of the IEEE, vol.91, pp.64-83, 2003. ,
Discrete Controller Synthesis for Infinite State Systems with ReaX, 12th Int. Workshop on Discrete Event Systems, WODES '14. IFAC, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-00974553
Synthesis of reactive(1) designs, J. Comput. Syst. Sci, vol.78, issue.3, pp.911-938, 2012. ,
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. ,
Synchronous control of reconfiguration in fractal component-based systems: a case study, Proceedings of the ninth ACM international conference on Embedded software, EMSOFT'11, pp.309-318, 2011. ,
URL : https://hal.archives-ouvertes.fr/inria-00596883
, Nicolas D'
Morph: A reference architecture for configuration and behaviour self-adaptation, Proceedings of the 1st International Workshop on Control Theory for Software Engineering, CTSE 2015, pp.9-16, 2015. ,
Introduction to Discrete Event Systems, 2008. ,
Feedback-feedforward scheduling of control tasks. Real-Time Systems, vol.23, pp.25-53, 2002. ,
Synchronous and bidirectional component interfaces, Computer Aided Verification, vol.2404, pp.414-427, 2002. ,
DOI : 10.1007/3-540-45657-0_34
URL : http://www.eecs.berkeley.edu/~tah/Publications/synchronous_and_bidirectional_component_interfaces.ps
, Feedback Computing
, Roadmap on control of real-time computing systems, 2006.
,
Modular distribution and application to discrete controller synthesis, International Workshop on Model-driven High-level Programming of Embedded Systems (SLA++P'08), 2008. ,
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, vol.23, 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 (LCTES 2010), pp.57-66, 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00476910
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. ,
Synthesizing nonanomalous event-based controllers for liveness goals, ACM Trans. Softw. Eng. Methodol, vol.22, issue.1, p.36, 2013. ,
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. ,
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, p.16, 2013. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00834888
Self-adaptive software meets control theory: A preliminary approach supporting reliability requirements, Proc. 26th IEEE/ACM Int. Conf. Automated Software Engineering (ASE 2011), pp.283-292, 2011. ,
Automated design of self-adaptive software with control-theoretical formal guarantees, Proceedings of the 36th International Conference on Software Engineering, 2014. ,
Software engineering meets control theory, Proceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS '15, pp.71-82, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01119461
A case study on controller synthesis for dataintensive embedded systems, Proceedings of the 6th IEEE International Conference on Embedded Software and Systems (ICESS'2009), 2009. ,
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, 2012. ,
A control theory based approach for self-healing of un-handled runtime exceptions, Proceedings of the 8th ACM international conference on Autonomic computing, ICAC '11, pp.217-220, 2011. ,
Automating the addition of fault tolerance with discrete controller synthesis, Int. journal on Formal Methods in System Design, vol.35, issue.2, pp.190-225, 2009. ,
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, vol.COORDINATION, pp.3-6, 2013. ,
Can programming be liberated, period?, Computer, vol.41, issue.1, pp.28-37, 2008. ,
Synthesis revisited: Generating statechart models from scenario-based requirements, Formal Methods in Software and Systems Modeling, vol.3393, pp.309-324, 2005. ,
On the development of reactive systems, Logic and Models of Concurrent Systems, NATO, 1985. ,
Feedback Control of Computing Systems, 2004. ,
Concurrent program synthesis based on supervisory control, 2010 American Control Conference, 2010. ,
Petri nets and programming: A survey, Proceedings of the 2009 American Control Conference, pp.4994-4999, 2009. ,
,
Designing controllable computer systems, Proceedings of the 10th conference on Hot Topics in Operating Systems, vol.10, pp.9-9, 2005. ,
Feedback on feedback in autonomic computing systems, 7th International Workshop on Feedback Computing, 2012. ,
The vision of autonomic computing, IEEE Computer, vol.36, issue.1, pp.41-50, 2003. ,
Supervisory controller synthesis for safe software adaptation, 12th IFAC-IEEE International Workshop on Discrete Event Systems, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01091155
Controller synthesis from LSC requirements, Fundamental Approaches to Software Engineering, FASE'09, 2009. ,
Automated synthesis of multitolerance, DSN '04 Proceedings of the 2004 International Conference on Dependable Systems and Networks, p.209, 2004. ,
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, 31st IEEE Real-Time Systems Symposium, 2010. ,
What can control theory teach us about assurances in self-adaptive software systems?, Lecture Notes in Computer Science, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01281063
Hierarchical model-based autonomic control of software systems, ACM SIGSOFT Software Engineering Notes, vol.30, issue.4, pp.1-7, 2005. ,
Schedulability analysis of petri nets based on structural properties, Application of Concurrency to System Design, 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 ControlTheoretical Approaches to Real-Time Computing, vol.23, issue.1/2, pp.85-126, 2002. ,
A game-theoretic resource manager for RT applications, 25th Euromicro Conference on Real-Time Systems, vol.13, 2013. ,
Experience with ConSer: A system for server control through fluid modeling, IEEE Transactions on Computers, vol.60, issue.7, pp.951-963, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00480859
,
Synthesis of discrete-event controllers based on the signal environment, Discrete Event Dynamic Systems: Theory and Applications, vol.10, issue.4, pp.325-346, 2000. ,
URL : https://hal.archives-ouvertes.fr/hal-00546147
State-space feedback control for elastic distributed storage in a cloud environment, 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, ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2012. ,
Hammerstein Wiener nonlinear model based predictive control for relative QoS performance and resource management of software systems, Control Engineering Practice, vol.20, pp.49-61, 2012. ,
Supervisory control of software systems, IEEE Transactions on, vol.53, issue.9, pp.1187-1199, 2004. ,
Supervisory control of a class of discrete event processes, SIAM J. Control Optim, vol.25, issue.1, pp.206-230, 1987. ,
Learning revised models for planning in adaptive systems, Proceedings of the 2013 International Conference on Software Engineering, ICSE '13, pp.63-71, 2013. ,
Supervisory control of workflow scheduling, Advanced Transaction Models and Architectures Workshop (ATMA), 1996. ,
Reveliotis. 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. ,
The theory of deadlock avoidance via discrete control, Principles of Programming Languages, POPL, pp.252-263, 2009. ,
,
Feedback scheduling: An event-driven paradigm, ACM SIGPLAN Notices, vol.42, issue.12, pp.7-14, 2007. ,
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. ,