A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
A dynamic programming based approach for explicit model predictive control of hybrid systems
2015
Computers and Chemical Engineering
Preserved Fulltext
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
2014
2014 IEEE International Parallel & Distributed Processing Symposium Workshops
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2019
E3S Web of Conferences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2004
IEEE Transactions on Control Systems Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2008
Journal of Parallel and Distributed Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2003
European Journal of Control
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2009
2009 International Conference on Electronic Computer Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf.
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
2012
IEEE computer architecture letters
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
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
2013
Constraints
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2022
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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]
2008
Studies in Computational Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2010
2010 IEEE 3rd International Conference on Cloud Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2017
2017 IEEE Conference of Russian Young Researchers in Electrical and Electronic Engineering (EIConRus)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
OPTIMAL TASK ALLOCATION AND DYNAMIC TRAJECTORY PLANNING FOR MULTI-VEHICLE SYSTEMS USING NONLINEAR HYBRID OPTIMAL CONTROL
2006
IFAC Proceedings Volumes
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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