Modeling and integer programming techniques applied to propositional calculus
Computers and Operations Research - Special issue: Expert systems and operations research
Theory of Optimal Control Using Bisimulations
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Control of systems integrating logic, dynamics, and constraints
Automatica (Journal of IFAC)
Controller architecture for safe cognitive technical systems
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
A novel adaptive fuzzy predictive control for hybrid systems with mixed inputs
Engineering Applications of Artificial Intelligence
Hi-index | 0.00 |
This contribution addresses the task of computing optimal control trajectories for hybrid systems with switching dynamics. Starting from a continuous-time formulation of the control task we derive an optimization problem in which the system behavior is modelled by a hybrid automaton with linear discrete-time dynamics and discrete as well as continuous inputs. In order to transform the discrete dynamics into an equation-based form we present and compare two different approaches: one uses the 'traditional' M-formulation and one is based on disjunctive formulations. The control problem is then solved by mixed integer programming using a moving horizon setting. As illustrated for an example, the disjunctive formulation can lead to a considerable reduction of the computational effort.