, Analytic Calculus of Response Time in Networked Automation Systems, IEEE Transactions on Automation Science and Engineering, vol.7, issue.4, pp.858-869, 2010.
DOI : 10.1109/TASE.2010.2047499
URL : https://hal.archives-ouvertes.fr/hal-00514886
, Max-Plus Control Design for Temporal Constraints Meeting in Timed Event Graphs, IEEE Transactions on Automatic Control, vol.57, issue.2, pp.462-467, 2012.
DOI : 10.1109/TAC.2011.2164735
URL : https://hal.archives-ouvertes.fr/hal-00752347
, Control of discrete event systems with respect to strict duration: Supervision of an industrial manufacturing plant, Computers & Industrial Engineering, vol.61, issue.4, pp.1149-1159, 2011.
DOI : 10.1016/j.cie.2011.07.004
URL : https://hal.archives-ouvertes.fr/hal-00660726
, Synchronization and linearity: an algebra for discrete event systems, 1992.
, The tool TINA ??? Construction of abstract state spaces for petri nets and time petri nets, International Journal of Production Research, vol.99, issue.14, pp.2741-2756, 2004.
DOI : 10.1137/0216062
, Scheduling and control of real-time systems based on a token player approach, Discrete Event Dynamic Systems, vol.8, issue.1, pp.197-209, 2013.
DOI : 10.1007/s10626-012-0140-4
URL : https://hal.archives-ouvertes.fr/hal-01003983
, Accommodation of delays for networked control systems using classification of service, 2007 IEEE International Conference on Networking, Sensing and Control, pp.410-415, 2007.
DOI : 10.1109/ICNSC.2007.372814
URL : https://hal.archives-ouvertes.fr/hal-00169163
, Railway timetable stability analysis using max-plus system theory, Transportation Research Part B: Methodological, vol.41, issue.2, pp.179-201, 2007.
DOI : 10.1016/j.trb.2006.02.003
URL : http://www.sciencedirect.com/science?_ob=ShoppingCartURL&_method=add&_eid=1-s2.0-S0191261506000208&originContentFamily=serial&_origin=article&_ts=1488046200&md5=657dbc7c23282afa1d57d8308ebead0d
, Just in Time Control of Constrained (max,+)-Linear Systems, Discrete Event Dynamic Systems, vol.5, issue.2, pp.159-178, 2007.
DOI : 10.1007/s10626-006-0009-5
URL : https://hal.archives-ouvertes.fr/hal-00366751
, Control of (max,???+)-linear systems minimizing delays, Discrete Event Dynamic Systems, vol.37, issue.2, pp.261-276, 2013.
DOI : 10.1007/s10626-012-0143-1
URL : https://hal.archives-ouvertes.fr/hal-00345951
, A Branch and Bound Algorithm for Cyclic Scheduling of Timed Petri Nets, IEEE Transactions on Automation Science and Engineering, vol.12, issue.1, pp.309-323, 2015.
DOI : 10.1109/TASE.2013.2285221
, An Efficient Mixed Integer Programming Model Based on Timed Petri Nets for Diverse Complex Cluster Tool Scheduling Problems, IEEE Transactions on Semiconductor Manufacturing, vol.25, issue.2, pp.186-199, 2012.
DOI : 10.1109/TSM.2011.2180547
, Max-Plus <formula formulatype="inline"><tex>$(A,B)$</tex></formula>-Invariant Spaces and Control of Timed Discrete-Event Systems, IEEE Transactions on Automatic Control, vol.52, issue.2, pp.229-241, 2007.
DOI : 10.1109/TAC.2006.890478
, Feedback control design for cluster tools with wafer residency time constraints, 2012 IEEE International Conference on Systems, Man, and Cybernetics (SMC), pp.3063-3068, 2012.
DOI : 10.1109/ICSMC.2012.6378261
, Feedback Control of Cluster Tools for Regulating Wafer Delays, IEEE Transactions on Automation Science and Engineering, vol.13, issue.2, pp.1-11, 2015.
DOI : 10.1109/TASE.2015.2404921
, Schedule stabilization and robust timing control for time-constrained cluster tools, Robotics and Automation, 2003. Proceedings. ICRA'03. IEEE International Conference on, pp.1039-1044, 2003.
, Schedulability Analysis of Time-Constrained Cluster Tools With Bounded Time Variation by an Extended Petri Net, IEEE Transactions on Automation Science and Engineering, vol.5, issue.3, pp.490-503, 2008.
DOI : 10.1109/TASE.2007.912716
, A non-linear set-membership approach for the control of Discrete Event Systems, Workshop on Discrete Event Systems-WODES, xx, 2012.
DOI : 10.3182/20121003-3-MX-4033.00015
URL : https://hal.archives-ouvertes.fr/hal-00746053
, On the control of max-plus linear system subject to state restriction, Automatica, vol.47, issue.5, pp.988-992, 2011.
DOI : 10.1016/j.automatica.2011.01.047
URL : https://hal.archives-ouvertes.fr/hal-00857622
, Some results on the feedback control of max-plus linear systems under state constrains, 52nd IEEE Conference on Decision and Control, pp.6992-6997, 2013.
DOI : 10.1109/CDC.2013.6760997
URL : https://hal.archives-ouvertes.fr/hal-00874157
, Sizing of an industrial plant under tight time constraints using two complementary approaches: (max,+) algebra and computer simulation, Simulation Modelling Practice and Theory, vol.11, issue.1, pp.75-88, 2003.
DOI : 10.1016/S1569-190X(02)00131-4
, Petri nets: Properties, analysis and applications, Proceedings of the IEEE, vol.77, issue.4, pp.541-580, 1989.
DOI : 10.1109/5.24143
, Modeling and performance analysis of cluster tools using Petri nets, IEEE Transactions on Semiconductor Manufacturing, vol.11, issue.3, pp.394-403, 1998.
DOI : 10.1109/66.705374
, Optimal trajectory planning for trains ??? A pseudospectral method and a mixed integer linear programming approach, Transportation Research Part C: Emerging Technologies, vol.29, pp.97-114, 2013.
DOI : 10.1016/j.trc.2013.01.007
, A closed-form solution for schedulability and optimal scheduling of dual-arm cluster tools with wafer residency time constraint based on steady schedule analysis, Automation Science and Engineering IEEE Transactions on, vol.7, issue.2, pp.303-315, 2010.
, A Petri-net-based scheduling strategy for dual-arm cluster tools with wafer revisiting, Systems, Man, and Cybernetics: Systems, IEEE Transactions on, vol.43, issue.5, pp.1182-1194, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00867371
, Timed Petri net models of multi-robot cluster tools, 2001 IEEE International Conference on Systems, Man and Cybernetics. e-Systems and e-Man for Cybernetics in Cyberspace (Cat.No.01CH37236), pp.2729-2734, 2001.
DOI : 10.1109/ICSMC.2001.972979