32,140 Hits in 7.9 sec

A dynamic programming based approach for explicit model predictive control of hybrid systems

Pedro Rivotti, Efstratios N. Pistikopoulos
2015 Computers and Chemical Engineering  
Based on the developments on constrained dynamic programming of mixed-integer linear problems, an algorithm for explicit model predictive control of hybrid systems with linear cost function is presented  ...  problems. • Apply the developments proposed for constrained dynamic programming of hybrid linear problems as the basis for an algorithm for explicit model predictive control of hybrid systems with linear  ...  Build a Ψ j extension for every time point along the time horizon. The results above can easily translate and be applicable to a multiple input-multiple output dynamical system at no extra cost.  ... 
doi:10.1016/j.compchemeng.2014.06.003 fatcat:jhqfjhx5nzfxlahfra7qmsxlxy

A Hybrid ILP-CP Model for Mapping Directed Acyclic Task Graphs to Multicore Architectures

Andreas Emeretlis, George Theodoridis, Panayiotis Alefragis, Nikolaos Voros
2014 2014 IEEE International Parallel & Distributed Processing Symposium Workshops  
In this paper, a hybrid Integer Linear Programming -Constraint Programming method that uses the Benders decomposition is used to find proven optimal solutions.  ...  Directed Acyclic Task Graphs serve as typical kernel representation for embedded applications.  ...  In this case, the problem is modeled as an optimization problem using either Integer Linear Programming (ILP) [9]- [11] or Constraint Programming (CP) models [12], [13] .  ... 
doi:10.1109/ipdpsw.2014.24 dblp:conf/ipps/EmeretlisTAV14 fatcat:flxvbtgqmjeutbvoqq2cc5vjoq

Robust optimization in production engineering – methods and application

Adrian Knapczyk, Sławomir Francik, Marcin Jewiarz, Krzysztof Mudryk, Marek Wróbel, A. Szeląg-Sikora
2019 E3S Web of Conferences  
The most common methods were: linear programming, evolutionary algorithms, mixed integer programming, dynamic programming and many others.  ...  Documents (articles and proceedings paper) indexed in the Web of Science - Core Collection database (WoSCC) from 2014-2018 were used for analysis.  ...  computing robust solutions [21] -Mixed-Integer Linear Programming (MILP) [21] -min-max regret [21] -An integrated business continuity and disaster recovery planning (IBCDRP) model to build organizational  ... 
doi:10.1051/e3sconf/201913201007 fatcat:gxptl33rjjfsflf2qm4wq447yi

HYSDEL—A Tool for Generating Computational Hybrid Models for Analysis and Synthesis Problems

F.D. Torrisi, A. Bemporad
2004 IEEE Transactions on Control Systems Technology  
This paper presents a computational framework for modeling hybrid systems in discrete-time.  ...  We present HYSDEL (hybrid systems description language), a high-level modeling language for DHA, and a set of tools for translating DHA into any of the former hybrid models.  ...  Borrelli for providing his software for multiparametric mixed-integer linear programming, the more than 800 users that reported feedback on the HYSDEL compiler, Mr. G. Bertini, Mr. P.  ... 
doi:10.1109/tcst.2004.824309 fatcat:6p3eljy5tvhsxoqybwbpbbhpra

A hybrid Branch-and-Bound and evolutionary approach for allocating strings of applications to heterogeneous distributed computing systems

Vladimir Shestak, Edwin K.P. Chong, Howard Jay Siegel, Anthony A. Maciejewski, Lotfi Benmohamed, I-Jeng Wang, Rose Daley
2008 Journal of Parallel and Distributed Computing  
the follow-up Branch-and-Bound heuristic based on an Integer Linear Programming (ILP) problem formulation.  ...  Providing efficient workload management is an important issue for a large-scale heterogeneous distributed computing environment where a set of periodic applications is executed.  ...  Integer Linear Programming formulation Overview An Integer Linear Programming form and a corresponding Linear Programming form [11, 33] are derived in this section for each allocation scenario.  ... 
doi:10.1016/j.jpdc.2007.05.011 fatcat:5qhdslypm5hjtcski6obw56rxy

Hybrid Systems Modeling and Control

Manfred Morari, Mato Baotic, Francesco Borrelli
2003 European Journal of Control  
Piece-wise affine and mixed logical dynamical models for discrete time linear hybrid systems are reviewed.  ...  The effectiveness of the techniques is illustrated on a wide range of practical applications.  ...  More details on multiparametric programming can be found in [26, 17] for linear programs, in [9, 44, 42] for quadratic programs in [1, 21] for mixed integer linear programs and in [20, 15, 12]  ... 
doi:10.3166/ejc.9.177-189 fatcat:m66xomiqfbgjbdaiutszsg55cy

Integer Linear Programming in Designing Universal Arrays with Multiplexed Applications

Atif Rahman, Mahmuda Naznin, Masud Hasan
2009 2009 International Conference on Electronic Computer Technology  
We also provide an integer linear programming formulation of a mathematically related problem.  ...  The problem was shown to be NP-complete by Ben-Dor et. al. [1] In this paper, we give integer linear programming formulation of this problem.  ...  ACKNOWLEDGMENT This paper is an outcome of research conducted in the Department of Computer Science and Engineering of Bangladesh University of Engineering and Technology (BUET).  ... 
doi:10.1109/icect.2009.135 fatcat:5bseaaqhofh3fgz46ei4gmkbp4

A Case for Hybrid Discrete-Continuous Architectures

S. Sethumadhavan, R. Roberts, Y. Tsividis
2012 IEEE computer architecture letters  
Analysis shows that machine learning, physics and up to one-third of SPEC, RMS and Berkeley suite of applications can be accelerated with the new hybrid model.  ...  Index Terms-Hybrid systems, Processor architectures, Design studies, 1. A computational model defines possible operations and their costs. 2.  ...  Acknowledgements Sethumadhavan's research is funded by grants from DARPA, AFRL (FA8750-10-2-0253, FA9950-09-1-0389), the NSF CAREER program, gifts from Microsoft Research and Columbia University, and software  ... 
doi:10.1109/l-ca.2011.22 fatcat:tgfferbj35ainjeaxh6x4aogqe

The future of optimization technology

Maria Garcia de la Banda, Peter J. Stuckey, Pascal Van Hentenryck, Mark Wallace
2013 Constraints  
These demands will place new emphasis on universal modeling languages and model transformation capabilities, as well as flexible and high level ways of specifying hybrid solutions.  ...  These changes put constraint programming in an ideal position since: constraint programming has the most high-level view of problems to begin with so we can ease modeling difficulties; and since constraint  ...  Acknowledgments We would like to thank the anonymous reviewers for their comments which helped substantially improve this article.  ... 
doi:10.1007/s10601-013-9149-z fatcat:tbj3bxz7ynfdbj7vp3wglohfvm

Hybrid zonotopes: a new set representation for reachability analysis of mixed logical dynamical systems [article]

Trevor J. Bird, Herschel C. Pangborn, Neera Jain, Justin P. Koeln
2022 arXiv   pre-print
The major contribution of this manuscript is a closed-form solution for exact forward reachable sets of discrete-time, linear hybrid systems modeled as mixed logical dynamical systems.  ...  Furthermore, the hybrid zonotope is shown to be closed under linear mappings, Minkowski sums, generalized intersections, and halfspace intersections.  ...  The major contribution of this work is an identity for representing exact reachable sets of discrete-time hybrid automata modeled as Mixed Logical Dynamical (MLD) systems [13] as hybrid zonotopes.  ... 
arXiv:2106.14831v2 fatcat:dksl7xdkjvggpp2tox2fdntsmm

A Grammatical Genetic Programming Representation for Radial Basis Function Networks [chapter]

Ian Dempsey, Anthony Brabazon, Michael O'Neill
2008 Studies in Computational Intelligence  
Suppose the next codon on the genome gives rise to an integer value of 34.  ...  Fig. 1 provides an example of an individual genome (where each 8-bit codon is represented as an integer for ease of reading).  ... 
doi:10.1007/978-3-540-75396-4_11 fatcat:ekdo6oi6frho5dxthv6lbggy6m

Cost-Optimal Scheduling in Hybrid IaaS Clouds for Deadline Constrained Workloads

Ruben Van den Bossche, Kurt Vanmechelen, Jan Broeckhove
2010 2010 IEEE 3rd International Conference on Cloud Computing  
Linear programming is a general technique to tackle such an optimization problem.  ...  We found out that this approach results in a tractable solution for scheduling applications in the public cloud, but that the same method becomes much less feasible in a hybrid cloud setting due to very  ...  PROBLEM DOMAIN Figure 2 . 2 Binary Integer Program for Hybrid cloud scheduling Time is explicitly represented in our programming model through the introduction of time slots with a granularity of one  ... 
doi:10.1109/cloud.2010.58 dblp:conf/IEEEcloud/BosscheVB10 fatcat:4aygwgd6tzh23cfgqr5jb3hvee

Computational Issues in Intelligent Control: Discrete-Event and Hybrid Systems [chapter]

2000 Soft Computing and Intelligent Systems  
In view of hybrid systems, we also review basic computational issues for hybrid automata.  ...  Petri net models are used to describe discrete event and hybrid systems. Computational issues of various problems and algorithms concerning the analysis and synthesis of such systems are discussed.  ...  Nikos Chrisochoides of the Computer Science and Engineering Department at the University of Notre Dame for his valuable assistance concerning the parallel computing architecture.  ... 
doi:10.1016/b978-012646490-0/50006-8 fatcat:tpqu57oywrhwtfcrvohzhr3trq

Expert models for electric load forecasting of power system

Stanislav A. Eroshenko, Valery I. Poroshin, Mihail D. Senyuk, Igor V. Chunarev
2017 2017 IEEE Conference of Russian Young Researchers in Electrical and Electronic Engineering (EIConRus)  
A proper mapping of power system models is therefore essential in order to:  provide an overview of power system models and their applications available in, or used by, European organisations;  analyse  ...  Please provide the mathematical approach of the power system modelling tool: Linear programming ☐ Mixed-integer programming ☐ Dynamic programming ☐ Agent-based programming ☐ Other ☐ a.  ...  Please provide the reference of the report or manual (preferably in English) in which the power system modelling tool is properly described:  ... 
doi:10.1109/eiconrus.2017.7910859 fatcat:qm6tos3jezb25l2x7hqekvxnpq


Markus Glocker, Christian Reinl, Oskar von Stryk
2006 IFAC Proceedings Volumes  
Based on a nonlinear hybrid dynamical systems model a new planning method for optimal coordination and control of multiple unmanned vehicles is investigated.  ...  Keywords: multi-vehicle task allocation and trajectory planning, nonlinear hybrid dynamical systems, mixed-integer optimal control, multiple motorized salesmen problem  ...  In special cases, e.g. for clocked hybrid piecewise affine systems Bemporad and Morari (1999) , the optimal control problem can be transformed to a mixed-integer linear program which can be solved more  ... 
doi:10.3182/20061002-2-br-4906.00008 fatcat:wpnnoapfdjbftirii5gvgjzvee
« Previous Showing results 1 — 15 out of 32,140 results