Optimization of Discrete Event Systems using Extended Finite Automata and Mixed-Integer Nonlinear Programming

Abdeddaimi, 2001, Job-shop scheduling using timed automata, CAV LNCS, 2102, 478 Bayen, 2003, Real-time discrete control law synthesis for hybrid systems using MILP: application to congested airspace, 4620 Bemporad, 2005, Event-driven optimal control of integral continuous-time hybrid automata Dantzig, 1963 Floudas, 2001 Fonseca, 1995, An overview of evolitionary algorithms in multiobjective optimization, Evolutionary Computations, 3, 1, 10.1162/evco.1995.3.1.1 Hart, 2007, A formal basis for the heuristic determination of minimum cost paths, IEEE Transactions on systems science and cybernetics, 4, 100, 10.1109/TSSC.1968.300136 Kobetski, 2009, Time-optimal coordination of flexible manufacturing systems using deterministic finite automata and mixed integer linear programming, Discrete Event Dyn Systs, 19, 287, 10.1007/s10626-009-0064-9 Kobetski, 2006, Scheduling algorithms for optimal robot cell coordination – a comparison Liljenvall, 1998, Scheduling for production systems Mannani, 2006, Distributed extended finite-state machines: Communication and control, 161 Miettinen, 1998 Panek, 2004, Job shop scheduling by combining reachability analysis with linear programming, 199 Panek, 2006, Efficient synthesis of production schedules by optimization of timed automata, Control Engineering Practice, 14, 1183, 10.1016/j.conengprac.2006.02.014 Schrijver, 1986 Sköldstam, 2007, Modeling of discrete event systems uding finite automata with variables Vergnano, 2010, Embedding detailed robot energy optimization into high-level scheduling