%0 Book Section
%A Potocnik, Bostjan
%A Bemporad, Alberto
%A Torrisi, Fabio Danilo
%A Music, Gasper
%A Zupancic, Borut
%B 15th IFAC World Congress
%D 2002
%F eprints:588
%I IFAC
%K Hybrid systems; Scheduling; Optimal control; Reachability analysis; Branch-and-bound methods
%T Scheduling of hybrid systems: multi product batch plant
%U http://eprints.imtlucca.it/588/
%V 15
%X The paper proposes a solution to a class of scheduling problems where the goal is to minimize the schedule (production) time. The algorithm. which takes into account a model of a hybrid system described as MLD (mixed logical dynamical) system, is based on performance driven reachability analysis. The algorithm abstracts the behavior of the hybrid system by building a tree of evolution. Nodes of the tree represent reachable states of a process, and the branches connect two nodes if a transition exists between the corresponding states. To each node a cost function value is associated and based on this value. the tree exploration is driven. As soon as the tree is explored. the global solution to the scheduling problem is obtained.