[. Canu and N. Rakoto-ravalontsalama, On Switchable Languages of Discrete-Event Systems with Weighted Automata, 2017.

N. Michaelides, R. Rakoto, and . Michaelides, Big Data Driven Demand Networks, Proc. of POMS 2017 Conf, 2017.

]. G. Obando, N. Quijano, and N. Rakoto-ravalontsalama, Distributed resource allocation over stochastic networks: An application in smart grids, 2015 IEEE 2nd Colombian Conference on Automatic Control (CCAC), 2015.
DOI : 10.1109/CCAC.2015.7345195

C. Indriago, O. Cardin, O. Morineau, N. Rakoto, and P. Castagna, Performance evaluation of holonic-based online predictive-reactive scheduling for a switch arrival system, Proc. of INCOM 2015, pp.1105-1110, 2015.

N. Cardin, E. Rakoto, P. Chacon, and . Castagna, Application of holonic paradigm to a water treatment process, Proc. of SOHOMA 2014, pp.32-39, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01693164

C. Indriago, O. Cardin, N. Rakoto, P. Castagna, and E. Chacon, Application du paradigme holoniquè a un système de reservoirs, Proc. of MOSIM 2014, 2014.

]. G. Obando, N. Quijano, and N. Rakoto-ravalontsalama, Distributed building temperature control with power constraints, 2014 European Control Conference (ECC), pp.2857-2862, 2014.
DOI : 10.1109/ECC.2014.6862330

URL : https://hal.archives-ouvertes.fr/hal-01206884

]. F. Torres, C. Garcia-diaz, and N. Rakoto-ravalontsalama, An Evolutionary Game Theory Approach to Modeling VMI Policies, Proc. of IFAC World Congress 2014, pp.10737-10742, 2014.
DOI : 10.3182/20140824-6-ZA-1003.00700

URL : https://hal.archives-ouvertes.fr/hal-01308840

]. F. Torres, C. Garcia-diaz, and N. Rakoto-ravalontsalama, Evolutionary stability of a manufacturer-buyer VMI-conduced supply chain, Proc. of POMS 2013 Conf, 2013.

]. E. Mojica, N. Quijano, and N. , Rakoto-Ravalontsalama, A generalization of a polynomial control of switched systems, Proc. of IFAC ADHS, pp.120-125, 2009.

]. E. Mojica, N. Quijano, A. Gauthier, and N. Rakoto-ravalontsalama, Stability analysis of switched polynomial systems using dissipation inequalities, 2008 47th IEEE Conference on Decision and Control, pp.31-36, 2008.
DOI : 10.1109/CDC.2008.4739029

]. E. Mojica, R. Meziat, N. Quijano, A. Gauthier, and N. Rakoto-ravalontsalama, Optimal Control of Switched Systems: A Polynomial Approach, Proc. of 2008 IFAC World Congress, pp.7808-7813, 2008.
DOI : 10.3182/20080706-5-KR-1001.01320

URL : https://hal.archives-ouvertes.fr/hal-01204891

]. E. Mojica, A. Gauthier, and N. Rakoto-ravalontsalama, Canonical piecewise-linear approximation of nonlinear cellular growth, 2007 46th IEEE Conference on Decision and Control, pp.1640-1645, 2007.
DOI : 10.1109/CDC.2007.4434461

]. E. Mojica, A. Gauthier, and N. Rakoto-ravalontsalama, Piecewise linear approximation of nonlinear cellular growth, Proc. of 2007 IFAC SSSC (Symp. on Systems Structure and Control), 2007.

]. E. Mojica, A. Gauthier, and N. Rakoto-ravalontsalama, Probing control for PWL approximation of nonlinear cellular growth, Proc. of 2007 IEEE MSC (Multi-conference on Systems and Control), 2007.

M. Canu, D. Morel, and N. Rakoto-ravalontsalama, Modeling and control of an experimental switched manufacturiung system, Proc. of ICINCO, 2007.

M. Canu, J. Haurogne, D. Morel, and N. Rakoto-ravalontsalama, Supervisory control of an experimental switched DES, Proc. of IEICE NOLTA 2006, pp.275-278, 2006.

J. L. Villa, M. Duque, A. Gauthier, and N. Rakoto-ravalontsalama, Model predictive control of MLD models with integrators, Proceedings of 2005 IEEE Conference on Control Applications, 2005. CCA 2005., pp.641-644, 2005.
DOI : 10.1109/CCA.2005.1507199

[. L. Villa, M. Duque, A. Gauthier, and N. Rakoto-ravalontsalama, Commande par MLD d'une usine de traitement d'eau, Proc. of CIFA, 2004.

[. L. Villa, M. Duque, A. Gauthier, and N. Rakoto-ravalontsalama, Control of Hybrid Systems using the MLD Approach. Part I: Modelling, Proc. of VI Congreso Nacional de la Asociacion Colombiana de Automatica. Ibague, pp.11-13, 2004.

[. L. Villa, M. Duque, A. Gauthier, and N. Rakoto-ravalontsalama, Control of Hybrid Systems using the MLD Approach. Part II: Synthesis of Control, Proc. of VI Congreso Nacional de la Asociacion Colombiana de Automatica. Ibague, pp.11-13, 2004.

[. L. Villa, M. Duque, A. Gauthier, N. Rakoto-ravalontsalama, and I. Conf, Translating PWA systems into MLD systems, Proceedings of the 2004 IEEE International Symposium on Intelligent Control, 2004., pp.37-42, 2004.
DOI : 10.1109/ISIC.2004.1387655

[. L. Villa, M. Duque, A. Gauthier, and N. Rakoto-ravalontsalama, A new algorithm for translating MLD systems into PWA systems, Proc. of IEEE American Control Conference, pp.1208-1213, 2004.

S. Esteva, J. L. De-la-rosa, and N. , Rakoto-Ravalontsalama, Modeling Hybrid Systems by Piecewise Decomposition, Proc. of IEEE Conf. on Systems, Man and Cybernetics, pp.195-198, 2003.

[. L. Villa, M. Duque, A. Gauthier, and N. , Rakoto-Ravalontsalama, MLD Control of Hybrid Systems: Application to the Three-Tank Benchmark Problem, Proc. of IEEE Conf. on Systems, Man and Cybernetics, pp.666-671, 2003.

[. L. Villa, M. Duque, A. Gauthier, and N. , Rakoto-Ravalontsalama, Modeling and Control of a Water Treatment Plant, Proc. of IEEE Conf. on Systems, Man and Cybernetics, pp.171-176, 2003.

J. L. Ravalontsalama, D. Villa, and . Morel, Supervisory Control Oriented Modeling of an Experimental Manufacturing Cell, Proc. of IEEE Int. Symposium on Intelligent Control, pp.395-398, 2003.

[. L. Villa, M. Duque, A. Gauthier, and N. Rakoto-ravalontsalama, Supervision and optimal control of a class of industrial processes, EFTA 2003. 2003 IEEE Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.03TH8696), pp.177-180, 2003.
DOI : 10.1109/ETFA.2003.1248693

N. Rakoto-ravalontsalama and J. L. Villa, Modeling and simulation of an experimental cell, Proc. of International Conf. on Computational Science and its Applications, pp.533-538, 2003.

[. L. Villa, M. Duque, A. Gauthier, and N. Rakoto-ravalontsalama, Hybrid modeling of potable water treatment plant, Proc. of Pumps, Electromechanical Devices and Systems, p.10089, 2003.

N. Rakoto-ravalontsalama, Partial and total order relations for supervisory control of hybrid systems, ETFA 2001. 8th International Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.01TH8597), pp.675-678, 2001.
DOI : 10.1109/ETFA.2001.997755

L. Libeaut and N. Rakoto-ravalontsalama, Modeling and analysis of a manufacturing cell: Petri net vs. automata approach, Proc. of WESIC'98 Conf, pp.71-78, 1998.

J. Ravalontsalama and . Aguilar-martin, Diagnosing uncertain parameters to improve hybrid process model, Proc. of 3rd, International Conf. on Automation of Mixed Processes: Dynamic Hybrid Systems (ADPM'98), pp.49-53, 1998.

N. Rakoto-ravalontsalama and J. Aguilar-martin, Control of hybrid systems: The expert system approach, Proc. of IEEE/IMACS Computational Engineering in Systems Applications (CESA 1996) Symp. on Discrete Event and Manufacturing Systems, pp.402-406, 1996.

J. Ravalontsalama and . Aguilar-martin, Modelling and simulation of hybrid systems: The expert system approach, Analysis and Design of Event-Driven Operations, Process Systems (ADEDOPS'95) Workshop, 1995.

J. Ravalontsalama and . Aguilar-martin, Knowledge-based modelling of a TV-tube manufacturing process, Proc. of IFAC Workshop on Computer Software Structures Integrating AI/KBS in Process Control, pp.111-117, 1994.

N. Martin and . Rakoto-ravalontsalama, Uncertainty propagation in fuzzy simulation of dynamic system ? Application to a simplified turbine, Proc. of SCS IFQN'94 Conf, 1994.

]. R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P. Ho et al., The algorithmic analysis of hybrid systems, References References, pp.3-34, 1995.
DOI : 10.1016/0304-3975(94)00202-T

P. J. Antsaklis, A brief introduction to the theory and applications of hybrid systems, Proc. of the IEEE, pp.879-887, 2000.

A. Bemporad and M. Morari, Control of systems integrating logic, dynamics, and constraints, Automatica, vol.35, issue.3, pp.407-427, 1999.
DOI : 10.1016/S0005-1098(98)00178-2

A. Bemporad, G. Ferrari-trecate, and M. Morari, Observability and controllability of piecewise affine and hybrid systems, IEEE Transactions on Automatic Control, vol.45, issue.10, pp.1864-1876, 2000.
DOI : 10.1109/TAC.2000.880987

A. Bemporad, An efficient technique for translating mixed logical dynamical systems into piecewise affine systems, Proceedings of the 41st IEEE Conference on Decision and Control, 2002., pp.1970-1975, 2002.
DOI : 10.1109/CDC.2002.1184816

A. Bemporad, Efficient Conversion of Mixed Logical Dynamical Systems Into an Equivalent Piecewise Affine Form, IEEE Transactions on Automatic Control, vol.49, issue.5, pp.832-838, 2004.
DOI : 10.1109/TAC.2004.828315

V. D. Blondel and J. N. Tsitsiklis, Complexity of stability and controllability of elementary hybrid systems, Automatica, vol.35, issue.3, pp.479-490, 1999.
DOI : 10.1016/S0005-1098(98)00175-7

T. Geyer, F. D. Torrisi, and M. Morari, Efficient mode enumeration of compositional hybrid systems, Proc. of HSCC 2003 LNCS 2623, pp.216-232, 2003.

W. P. Heemels, B. De-schutter, and A. Bemporad, Equivalence of hybrid dynamical models, Proc. of IEEE Symp. on Logic in Computer Science, pp.278-292, 1996.
DOI : 10.1016/S0005-1098(01)00059-0

T. A. Henzinger, The theory of hybrid automata, Proc. of the 11th Annual Symp. on LICS, pp.278-292, 1996.

H. Lin and P. J. Antsaklis, Stability and Stabilizability of Switched Linear Systems: A Survey of Recent Results, Proc. Int. Symp. on Intelligent Control, pp.24-29, 2005.
DOI : 10.1109/TAC.2008.2012009

M. Margaliot, Stability analysis of switched systems using variational principles: An introduction, Automatica, vol.42, issue.12, pp.2059-2077, 2006.
DOI : 10.1016/j.automatica.2006.06.020

A. Rantzer and M. Johansson, Piecewise linear quadratic optimal control, IEEE Transactions on Automatic Control, vol.45, issue.4, pp.629-637, 2000.
DOI : 10.1109/9.847100

URL : http://lup.lub.lu.se/search/ws/files/6047594/8565490.pdf

C. Seatzu, D. Corona, A. Giua, and A. Bemporad, Optimal Control of Continuous-Time Switched Affine Systems, IEEE Transactions on Automatic Control, vol.51, issue.5, pp.726-741, 2006.
DOI : 10.1109/TAC.2006.875053

E. D. Sontag, Nonlinear regulation: The piecewise affine approach, IEEE Trans. on Automatic Control, vol.51, issue.5, pp.346-358, 1981.

Z. Sun and S. S. Ge, Analysis and synthesis of switched linear control systems, Automatica, vol.41, issue.2, pp.181-195, 2005.
DOI : 10.1016/j.automatica.2004.09.015

F. D. Torrisi and A. Bemporad, HYSDEL???A Tool for Generating Computational Hybrid Models for Analysis and Synthesis Problems, IEEE Transactions on Control Systems Technology, vol.12, issue.2, pp.235-249, 2004.
DOI : 10.1109/TCST.2004.824309

D. Liberzon, Switching in Systems and Control, 2003.
DOI : 10.1007/978-1-4612-0017-8

H. Lin and P. J. Antsaklis, Stability and Stabilizability of Switched Linear Systems: A Survey of Recent Results, IEEE Transactions on Automatic Control, vol.54, issue.2, pp.308-322, 2009.
DOI : 10.1109/TAC.2008.2012009

W. Dayawansa and C. Martin, Dynamical systems which undergo switching, IEEE Transactions on Automatic Control, vol.44, issue.4, pp.751-760, 1999.
DOI : 10.1109/9.754812

J. Mancilla-aguilar and R. Garcia, A converse Lyapunov theorem for nonlinear switched systems, Systems & Control Letters, vol.41, issue.1, pp.67-71, 2000.
DOI : 10.1016/S0167-6911(00)00040-2

L. Vu and D. Liberzon, Common Lyapunov functions for families of commuting nonlinear systems, Systems & Control Letters, vol.54, issue.5, pp.405-416, 2005.
DOI : 10.1016/j.sysconle.2004.09.006

C. Ebenbauer and F. Allgwer, Stability analysis of constrained control systems: An alternative approach, Systems & Control Letters, vol.56, issue.2, pp.93-98, 2007.
DOI : 10.1016/j.sysconle.2006.07.009

A. Papachristodoulou and S. Prajna, Analysis of Non-polynomial Systems Using the Sum of Squares Decomposition, pp.23-43, 2005.
DOI : 10.1007/10997703_2

P. Kunkel and V. Mehrmann, Stability properties of differential-algebraic equations and spinstabilized discretizations, Electronic Transactions on Numerical Analysis, vol.26, pp.385-420, 2007.

S. Prajna and A. Papachristodoulou, Analysis of switched and hybrid systems?Beyond piecewise quadratic methods Proc, of the American Control Conference, pp.1208-1213, 2004.

S. C. Bengea and R. A. Decarlo, Optimal control of switching systems, Automatica, vol.41, pp.11-27, 2005.

J. B. Lasserre, Global Optimization with Polynomials and the Problem of Moments, SIAM Journal on Optimization, vol.11, issue.3, pp.796-817, 2001.
DOI : 10.1137/S1052623400366802

J. B. Lasserre, C. Prieur, and D. Henrion, Nonlinear optimal control: approximations via moments and LMI-relaxations, Proceedings of the 44th IEEE Conference on Decision and Control, 2005.
DOI : 10.1109/CDC.2005.1582395

J. B. Lasserre, D. Henrion, C. Prieur, and E. Trelat, Nonlinear Optimal Control via Occupation Measures and LMI-Relaxations, SIAM Journal on Control and Optimization, vol.47, issue.4, pp.1643-1666, 2008.
DOI : 10.1137/070685051

URL : https://hal.archives-ouvertes.fr/hal-00136032

D. Liberzon, Switching in Systems and Control, 2003.
DOI : 10.1007/978-1-4612-0017-8

R. Meziat, D. Patino, and P. Pedregal, An alternative approach for non-linear optimal control problems based on the method of moments, Computational Optimization and Applications, vol.49, issue.2, pp.147-171, 2007.
DOI : 10.1090/surv/001

P. Parrilo, Structured semidefinite programs and semi-algebraic geometry methods in robustness and optimization, 2000.

D. Patino, P. Riedinger, and C. Iung, Optimal state feedback control law for continuous-time affine switched systems, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00384680

P. C. Perera and W. P. Dayawansa, Asymptotic feedback controllability of switched control systems to the origin, Proc. of the American Control Conference, pp.5806-5811, 2004.

P. Riedinger, J. Daafouz, and C. Iung, Suboptimal switched controls in context of singular arcs, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475), pp.6254-6259, 2003.
DOI : 10.1109/CDC.2003.1272292

W. Spinelli, P. Bolzern, and P. Colaneri, A note on optimal control of autonomous switched systems on a finite time interval, 2006 American Control Conference, 2006.
DOI : 10.1109/ACC.2006.1657674

K. C. Toh, M. J. Todd, and R. Tutuncu, SDPT3 ??? A Matlab software package for semidefinite programming, Version 1.3, Optimization Methods and Software, vol.79, issue.1-4, pp.545-581, 1999.
DOI : 10.1287/moor.19.1.53

X. Xu and P. J. Antsaklis, Optimal Control of Switched Systems Based on Parameterization of the Switching Instants, IEEE Transactions on Automatic Control, vol.49, issue.1, pp.2-16, 2004.
DOI : 10.1109/TAC.2003.821417

S. E. Bourdon, M. Lawford, and W. M. Wonham, Robust nonblocking supervisory control of discrete event systems, In IEEE Trans. on Automatic Control, vol.50, pp.12-2015, 2005.

M. Canu and N. Rakoto-ravalontsalama, From mutually non-blocking to switched non-blocking DES. Presented at MSR'13 Workshop (Poster Session), 2013.
URL : https://hal.archives-ouvertes.fr/hal-00876645

M. Canu and N. Rakoto-ravalontsalama, On Switchable Languages of Discrete-Event Systems with Weighted Automata, 2017.

C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, 2008.

M. Fabian and R. Kumar, Mutually non-blocking supervisory control of discrete event systems, Proceedings of the 36th IEEE Conference on Decision and Control, pp.1863-1869, 2000.
DOI : 10.1109/CDC.1997.657903

G. Faraut, L. Pietrac, and E. Niel, Formal Approach to Multimodal Control Design: Application to Mode Switching, IEEE Transactions on Industrial Informatics, vol.5, issue.4, pp.443-453, 2009.
DOI : 10.1109/TII.2009.2028135

URL : https://hal.archives-ouvertes.fr/hal-00471885

G. Faraut, L. Pietrac, and E. Niel, Process tracking by equivalent states in modal supervisory control, ETFA2011, 2011.
DOI : 10.1109/ETFA.2011.6059040

URL : https://hal.archives-ouvertes.fr/hal-00636628

J. Girault, J. J. Loiseau, and O. H. Roux, Synthese en ligne de superviseur compositionnel pour une flotte de robots mobiles, European Journal of Automation, vol.47, issue.13, pp.1-3, 2013.

J. Girault, J. J. Loiseau, and O. H. Roux, On-line optimal compositional controller synthesis for AGV by unfolding, Proc. of DCDS 2015, pp.167-173, 2015.
DOI : 10.1016/j.ifacol.2015.06.489

M. Heymann, Concurrency and discrete event control, IEEE Control Systems Magazine, pp.103-112, 1990.
DOI : 10.1109/37.56284

J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation, 1979.
DOI : 10.1145/568438.568455

R. Kumar, S. Takai, M. Fabian, and T. Ushio, Maximally permissive mutually and globally nonblocking supervision with application to switching control, Automatica, vol.41, issue.8, pp.41-1299, 2005.
DOI : 10.1016/j.automatica.2005.03.011

S. Lafortune and E. Chen, The infimal closed controllable superlanguage and its application in supervisory control, IEEE Transactions on Automatic Control, vol.35, issue.4, pp.398-405, 1990.
DOI : 10.1109/9.52291

D. Liberzon, Switching in Systems and Control " , ser. Systems and Control: Foundations and Applications, 2003.

R. Malik and R. Leduc, Generalised nonblocking, 2008 9th International Workshop on Discrete Event Systems, pp.340-345, 2008.
DOI : 10.1109/WODES.2008.4605969

URL : http://www.cs.waikato.ac.nz/~robi/papers/wodes2008gennb.pdf

N. Rakoto-ravalontsalama, Supervisory control of switched discrete-event systems, Proc. of 17th Symp. on MTNS 2006, pp.2213-2217, 2006.

P. J. Ramadge and W. M. Wonham, 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

I. Romanovski and P. E. Caines, On the supervisory control of multi-agent product systems, Proc. of IEEE Conference on Decision and Control, pp.1181-1186, 2002.

I. Romanovski and P. E. Caines, Multi-Agent Product Systems: Controllability and Non-Blocking Properties, 2006 8th International Workshop on Discrete Event Systems, 2006.
DOI : 10.1109/WODES.2006.1678441

P. S. Roop, A. Girault, R. Sinha, and G. Goessler, Specification Enforcing Refinement for Convertibility Verification, 2009 Ninth International Conference on Application of Concurrency to System Design, pp.148-157, 2009.
DOI : 10.1109/ACSD.2009.25

URL : https://hal.archives-ouvertes.fr/hal-00753172

T. J. Van-den-boom and B. De-schutter, Modelling and control of discrete event systems using switching max-plus-linear systems, Control Engineering Practice, vol.1410, pp.1199-1211, 2006.

F. Wenck and J. H. Richter, A composition oriented perspective on controllability of large scale DES, Proc. of WODES 2004, pp.271-276, 2004.
DOI : 10.1016/S1474-6670(17)30756-5

W. M. Wonham and P. J. Ramadge, Modular supervisory control of discrete-event systems, Mathematics of Control, Signals and Systems, pp.13-30, 1988.
DOI : 10.1007/BF02551233

W. M. Wonham, Notes on Discrete Event Systems, 2004.

P. Hubbard and P. E. Caines, Initial investigations on hierachical supervisory control of multi-agent systems, Proc. of IEEE Conference on Decision and Control, pp.2218-2223, 1999.

S. Takai and T. Ushio, Supervisory control of a class of concurrent discrete-event systems, Proc. of ATPN -Workshop on DES Control, pp.37-55, 2003.

@. L. Villa, M. Duque, A. Gauthier, and N. Rakoto-ravalontsalama, A new algorithm for translating MLD systems into PWA systems, Proc. of IEEE American Control Conference, pp.1208-1213, 2004.

H. Witsenhausen, A class of hybrid-state continuous-time dynamic systems, IEEE Transactions on Automatic Control, vol.11, issue.2, pp.161-167, 1966.
DOI : 10.1109/TAC.1966.1098336

M. Branicky, V. Borkar, and S. Mitter, A unified framework for hybrid control: model and optimal control theory, IEEE Transactions on Automatic Control, vol.43, issue.1, pp.31-45, 1998.
DOI : 10.1109/9.654885

X. Xu and P. Antsaklis, Optimal Control of Switched Systems Based on Parameterization of the Switching Instants, IEEE Transactions on Automatic Control, vol.49, issue.1, pp.2-16, 2004.
DOI : 10.1109/TAC.2003.821417

S. Bengea and R. Decarlo, Optimal control of switching systems, Automatica, vol.41, issue.1, pp.11-27, 2005.

T. Das and R. Mukherjee, Optimally switched linear systems, Automatica, vol.44, issue.5, pp.1437-1441, 2008.
DOI : 10.1016/j.automatica.2007.10.008

S. Wei, K. Uthaichana, M. ?efran, R. Decarlo, and S. Bengea, Applications of numerical optimal control to nonlinear hybrid systems, Nonlinear Analysis: Hybrid Systems, vol.1, issue.2, pp.264-279, 2007.
DOI : 10.1016/j.nahs.2006.10.007

H. Sussmann, A maximum principle for hybrid optimal control problems, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304), pp.425-430, 1999.
DOI : 10.1109/CDC.1999.832814

P. Riedinger, J. Daafouz, and C. Iung, Suboptimal switched controls in context of singular arcs, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475), pp.6254-6259, 2003.
DOI : 10.1109/CDC.2003.1272292

M. Garavello and B. Piccoli, Hybrid necessary principle, Proceeding of the 44th IEEE Conference on Decision and Control and European Control Conference, pp.723-728, 2005.

M. Shaikh and P. Caines, On the Hybrid Optimal Control Problem: Theory and Algorithms, IEEE Transactions on Automatic Control, vol.52, issue.9, pp.1587-1603, 2007.
DOI : 10.1109/TAC.2007.904451

M. Egerstedt, Y. Wardi, and F. Delmotte, Optimal control of switching times in switched dynamical systems, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475), pp.2138-2143, 2003.
DOI : 10.1109/CDC.2003.1272934

A. Bemporad and M. Morari, Control of systems integrating logic, dynamics, and constraints, Automatica, vol.35, issue.3, pp.407-427, 1999.
DOI : 10.1016/S0005-1098(98)00178-2

A. Bemporad, M. Morari, V. Dua, and E. Pistikopoulos, The explicit solution of model predictive control via multiparametric quadratic programming, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334), pp.872-876, 2000.
DOI : 10.1109/ACC.2000.876624

L. Young, Lectures on the Calculus of Variations and Optimal Control Theory, 1969.

P. Pedregal, Parametrized Measures and Variational Principles, Birkhäuser, 1997.
DOI : 10.1007/978-3-0348-8886-8

J. Muñoz and P. Pedregal, A refinement on existence results in nonconvex optimal control, Nonlinear Analysis: Theory, Methods & Applications, vol.46, issue.3, pp.381-398, 2001.
DOI : 10.1016/S0362-546X(00)00132-2

J. Lasserre, Global Optimization with Polynomials and the Problem of Moments, SIAM Journal on Optimization, vol.11, issue.3, pp.796-817, 2001.
DOI : 10.1137/S1052623400366802

R. Meziat, The method of moments in global optimization, Journal of Mathematical Sciences, vol.116, issue.3, pp.3303-3324, 2003.
DOI : 10.1023/A:1023621121247

J. Lasserre, An Explicit Equivalent Positive Semidefinite Program for Nonlinear 0-1 Programs, SIAM Journal on Optimization, vol.12, issue.3, pp.756-769, 2002.
DOI : 10.1137/S1052623400380079

J. Lasserre, A semidefinite programming approach to the generalized problem of moments, Mathematical Programming, vol.17, issue.1, pp.65-92, 2008.
DOI : 10.1090/surv/001

R. Meziat, D. Patiño, and P. Pedregal, An alternative approach for non-linear optimal control problems based on the method of moments, Computational Optimization and Applications, vol.49, issue.2, pp.147-171, 2007.
DOI : 10.1090/surv/001

P. Pedregal and J. Tiago, Existence Results for Optimal Control Problems with Some Special Nonlinear Dependence on State and Control, SIAM Journal on Control and Optimization, vol.48, issue.2, pp.415-437, 2009.
DOI : 10.1137/08071805X

E. Mojica-nava, R. Meziat, N. Quijano, A. Gauthier, and N. Rakoto-ravalontsalama, Optimal Control of Switched Systems: A Polynomial Approach, Proceedings of the 17th IFAC World Congress, pp.7808-7813, 2008.
DOI : 10.3182/20080706-5-KR-1001.01320

URL : https://hal.archives-ouvertes.fr/hal-01204891

E. Mojica-nava, N. Quijano, N. Rakoto-ravalontsalama, and A. Gauthier, A polynomial approach for stability analysis of switched systems, Systems & Control Letters, vol.59, issue.2, pp.98-104, 2010.
DOI : 10.1016/j.sysconle.2009.12.004

R. Burden and J. Faires, Numerical Analysis, 1985.

R. Curto and L. Fialkow, The truncated complex K-moment problem, Transactions of the American Mathematical Society, vol.352, issue.06, pp.2825-2856, 2000.
DOI : 10.1090/S0002-9947-00-02472-7

S. Sager, Reformulations and algorithms for the optimization of switching decisions in nonlinear optimal control, Journal of Process Control, vol.19, issue.8, pp.1238-1247, 2009.
DOI : 10.1016/j.jprocont.2009.03.008

S. Sager, Numerical Methods for Mixed-integer Optimal Control Problems Der Andere Verlag: Tönning, Int. J. Robust. Nonlinear Control, 2005.

R. Ayesta, U. Erausquin, M. Ferreira, E. Jacko, and P. , Optimal dynamic resource allocation to prevent defaults, Operations Research Letters, vol.44, issue.4, pp.451-456, 2016.
DOI : 10.1016/j.orl.2016.04.008

URL : https://hal.archives-ouvertes.fr/hal-01300681

J. Barreiro-gomez, G. Obando, C. Ocampo-martinez, and N. Quijano, Making non-centralized a model predictive control scheme by using distributed smith dynamics, Proceedings of the 5th IFAC Conference on Nonlinear Model Predictive Control, pp.501-506, 2015.

J. Barreiro-gomez, G. Obando, and N. Quijano, Distributed Population Dynamics: Optimization and Control Applications, IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2016.
DOI : 10.1109/TSMC.2016.2523934

A. Bemporad, M. Heemels, and M. Johansson, Networked control systems, 2010.
DOI : 10.1007/978-0-85729-033-5

D. P. Bertsekas, Necessary and sufficient conditions for a penalty method to be exact, Mathematical Programming, pp.87-99, 1975.
DOI : 10.1007/BF01681332

S. Boyd, N. Parikh, E. Chu, B. Peleato, and J. Eckstein, Distributed Optimization and Statistical Learning via the Alternating Direction Method of Multipliers, Machine Learning, pp.1-122, 2010.
DOI : 10.1561/2200000016

Y. Chang and W. Chen, Optimal chilled water temperature calculation of multiple chiller systems using Hopfield neural network for saving energy, Energy, vol.34, issue.4, pp.448-456, 2009.
DOI : 10.1016/j.energy.2008.12.010

A. Cherukuri and J. Cortés, Distributed Generator Coordination for Initialization and Anytime Optimization in Economic Dispatch, IEEE Transactions on Control of Network Systems, vol.2, issue.3, pp.226-237, 2015.
DOI : 10.1109/TCNS.2015.2399191

J. Conrad, Resource economics, 2010.

J. Cortés, Distributed algorithms for reaching consensus on general functions, Automatica, vol.44, issue.3, pp.726-737, 2008.
DOI : 10.1016/j.automatica.2007.07.022

A. Dominguez-garcia, S. Cady, and C. Hadjicostis, Decentralized optimal dispatch of distributed energy resources, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC), pp.3688-3693, 2012.
DOI : 10.1109/CDC.2012.6426665

A. Dom?nguez-garc?a and C. Hadjicostis, Distributed algorithms for control of demand response and distributed energy resources, IEEE Conference on Decision and Control and European Control Conference, pp.27-32, 2011.
DOI : 10.1109/CDC.2011.6160431

F. Garin and L. Schenato, A Survey on Distributed Estimation and Control Applications Using Linear Consensus Algorithms, Networked Control Systems, pp.75-107, 2010.
DOI : 10.1007/978-0-85729-033-5_3

URL : https://hal.archives-ouvertes.fr/inria-00541057

C. Godsil and G. Royle, Algebraic graph theory, Graduate Texts in Mathematics, vol.207, 2001.
DOI : 10.1007/978-1-4613-0163-9

T. M. Hansen, R. Roche, S. Suryanarayanan, A. A. Maciejewski, and H. J. Siegel, Heuristic Optimization for an Aggregator-Based Resource Allocation in the Smart Grid, IEEE Transactions on Smart Grid, vol.6, issue.4, pp.1785-1794, 2015.
DOI : 10.1109/TSG.2015.2399359

P. A. Jensen and J. F. Bard, Operations research models and methods, 2003.

B. Johansson and M. Johansson, Distributed nonsmooth resource allocation over a network, Proceedings of the 48th IEEE Conference on NR HDR 82, 2009.

S. E. Bourdon, M. Lawford, and W. M. Wonham, Robust nonblocking supervisory control of discrete event systems, In IEEE Trans. on Automatic Control, vol.50, pp.12-2015, 2005.

M. Canu and N. Rakoto-ravalontsalama, From mutually non-blocking to switched non-blocking DES. Presented at MSR'13 Workshop (Poster Session ), 2013.
URL : https://hal.archives-ouvertes.fr/hal-00876645

M. Canu and N. Rakoto-ravalontsalama, On Switchable Languages of Discrete-Event Systems with Weighted Automata, 2017.

C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, 2008.

M. Fabian and R. Kumar, Mutually non-blocking supervisory control of discrete event systems, Proceedings of the 36th IEEE Conference on Decision and Control, pp.1863-1869, 2000.
DOI : 10.1109/CDC.1997.657903

G. Faraut, L. Pietrac, and E. Niel, Formal Approach to Multimodal Control Design: Application to Mode Switching, IEEE Transactions on Industrial Informatics, vol.5, issue.4, pp.443-453, 2009.
DOI : 10.1109/TII.2009.2028135

URL : https://hal.archives-ouvertes.fr/hal-00471885

G. Faraut, L. Pietrac, and E. Niel, Process tracking by equivalent states in modal supervisory control, ETFA2011, 2011.
DOI : 10.1109/ETFA.2011.6059040

URL : https://hal.archives-ouvertes.fr/hal-00636628

J. Girault, J. J. Loiseau, and O. H. Roux, Synthese en ligne de superviseur compositionnel pour une flotte de robots mobiles, European Journal of Automation, vol.47, issue.13, pp.1-3, 2013.
DOI : 10.3166/jesa.47.195-210

J. Girault, J. J. Loiseau, and O. H. Roux, On-line optimal compositional controller synthesis for AGV by unfolding, Proc. of DCDS 2015, pp.167-173, 2015.
DOI : 10.1016/j.ifacol.2015.06.489

J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation, 1979.
DOI : 10.1145/568438.568455

. Ushio, Maximally Permissive Mutually and Globally Nonblocking Supervision with Application to Switching Control, In Automatica, vol.41, issue.8, pp.1299-1312, 2005.

D. Liberzon, Switching in Systems and Control " , ser. Systems and Control: Foundations and Applications, 2003.

R. Malik and R. Leduc, Generalised nonblocking, 2008 9th International Workshop on Discrete Event Systems, pp.340-345, 2008.
DOI : 10.1109/WODES.2008.4605969

N. Rakoto-ravalontsalama, Supervisory control of switched discrete-event systems, Proc. of 17th Symp. on MTNS 2006, pp.2213-2217, 2006.

P. J. Ramadge and W. M. Wonham, 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

P. S. Roop, A. Girault, R. Sinha, and G. Goessler, Specification Enforcing Refinement for Convertibility Verification, 2009 Ninth International Conference on Application of Concurrency to System Design, pp.148-157, 2009.
DOI : 10.1109/ACSD.2009.25

URL : https://hal.archives-ouvertes.fr/hal-00753172

T. J. Van-den-boom and B. De-schutter, Modelling and control of discrete event systems using switching max-plus-linear systems, Control Engineering Practice, vol.1410, pp.1199-1211, 2006.

W. M. Wonham and P. J. Ramadge, Modular supervisory control of discrete-event systems, Mathematics of Control, Signals and Systems, pp.13-30, 1988.
DOI : 10.1007/BF02551233