Filters








28,315 Hits in 6.2 sec

Neural Guided Constraint Logic Programming for Program Synthesis [article]

Lisa Zhang, Gregory Rosenblatt, Ethan Fetaya, Renjie Liao, William E. Byrd, Matthew Might, Raquel Urtasun, Richard Zemel
2018 arXiv   pre-print
We present a method for solving Programming By Example (PBE) problems by using a neural model to guide the search of a constraint logic programming system called miniKanren.  ...  We show that our neural-guided approach using constraints can synthesize programs faster in many cases, and importantly, can generalize to larger problems.  ...  Acknowledgments Research reported in this publication was supported in part by the Natural Sciences and Engineering Research Council of Canada, and the National Center For Advancing Translational Sciences  ... 
arXiv:1809.02840v3 fatcat:npwa6kgpibgefi4vzkqc5kr4k4

Constraint satisfaction using constraint logic programming

Pascal Van Hentenryck, Helmut Simonis, Mehmet Dincbas
1992 Artificial Intelligence  
car sequencing.  ...  Constraint logic programming (CLP) is a new class of declarative programming languages whose primitive operations are based on constraints (e.g. constraint solving and constraint entailment).  ...  This research was supported in part by the National Science Foundation under grant number CCR-9108032 and by the Office of Naval Research and the Defense Advanced Research Projects Agency under Contract  ... 
doi:10.1016/0004-3702(92)90006-j fatcat:z5qelxv2fbaqlds3nhgsiamqta

A Two-stage approach for an optimum solution of the car assembly scheduling problem. Part 2. CLP solution and real-world example

Michał Mazur, Antoni Niederliński
2015 Archives of Control Sciences  
A Constraint Logic Programming (CLP) tool for solving the problem discussed in Part 1 of the paper has been designed. It is outlined and discussed in the paper.  ...  The program has been used for solving a real-world car assembly scheduling problem.  ...  Problem statement, solution outline and tutorial example") has been solved using Constraint Logic Programming (CLP).  ... 
doi:10.1515/acsc-2015-0024 fatcat:4bomo4oggvdihiy7rksipvpwli

Optimal Control of Nonlinear Systems with Temporal Logic Specifications [chapter]

Eric M. Wolff, Richard M. Murray
2016 Springer Tracts in Advanced Robotics  
In numerical experiments, we solve temporal logic motion planning tasks for high-dimensional (10+ continuous state) systems.  ...  We present a mathematical programming-based method for optimal control of nonlinear systems subject to temporal logic task specifications.  ...  Acknowledgments The authors thank Matanya Horowitz, Scott Livingston, and Ufuk Topcu for helpful feedback. This work was supported by a NDSEG Fellowship and the Boeing Corporation.  ... 
doi:10.1007/978-3-319-28872-7_2 fatcat:lf4fsm5sivdfhlvlzr7zrwlcnm

Page 1090 of The Journal of the Operational Research Society Vol. 59, Issue 8 [page]

2008 The Journal of the Operational Research Society  
Solving constraint satisfaction sequencing problems by iterative repair.  ...  In: Proceedings of the First International Conference on the Practical Applications of Constraint Technologies and Logic Programming. Practical Applications Company: London: England, pp 345-357.  ... 

Robust Control Policies Given Formal Specifications in Uncertain Environments

Damian Frick, Tony A. Wood, Gian Ulli, Maryam Kamgarpour
2017 IEEE Control Systems Letters  
We introduce an inner approximation of the constraint set leading to a mixed-integer quadratic program that can be solved using general-purpose solvers.  ...  Given a specification in bounded linear temporal logic, we propose a method to synthesize control policies that fulfill the specification for all considered disturbances, where the disturbances affect  ...  Using the inner approximation C ϕ in Problem 2 results in Problem 3, a mixed-integer program that can be solved using general-purpose MIQP solvers. Problem 3 (MIQP): min H,h,δ,λ J(H, h) s. t.  ... 
doi:10.1109/lcsys.2017.2700333 fatcat:r6koxhccm5bzxla5tygehxmmai

Hybrid Systems Modeling and Control

Manfred Morari, Mato Baotic, Francesco Borrelli
2003 European Journal of Control  
Constrained optimal control problems with linear and quadratic objective functions are defined. Some results on the structure and computation of the optimal control laws are presented.  ...  Piece-wise affine and mixed logical dynamical models for discrete time linear hybrid systems are reviewed.  ...  constraints was solved.  ... 
doi:10.3166/ejc.9.177-189 fatcat:m66xomiqfbgjbdaiutszsg55cy

Joint optimization of train blocking and shipment path:An integrated model and a sequential algorithm [article]

Chongshuang Chen, Jun Zhao
2019 arXiv   pre-print
all decisions, objectives and constraints especially the merge flow (called intree rule here) in an integrated manner.  ...  In nature, the TBSP problem could be viewed as a multi-commodity network design problem with a double-layer network structure.  ...  the logic relationship among block sequences, train services, and shipment paths. • There are no longer quadric terms in either sequential models so that auxiliary variables (24) and constraints (21  ... 
arXiv:1909.11310v2 fatcat:pdzwcd5nkngcbhundegxmisrui

Optimization-based trajectory generation with linear temporal logic specifications

Eric M. Wolff, Ufuk Topcu, Richard M. Murray
2014 2014 IEEE International Conference on Robotics and Automation (ICRA)  
In numerical experiments, we solve temporal logic motion planning tasks for high-dimensional (10+ continuous state) dynamical systems.  ...  Our method directly encodes an LTL formula as mixed-integer linear constraints on the continuous system variables, avoiding the computationally expensive processes of creating a finite abstraction of the  ...  ACKNOWLEDGEMENTS The authors would like to thank the anonymous reviewers for their helpful feedback.  ... 
doi:10.1109/icra.2014.6907641 dblp:conf/icra/WolffTM14 fatcat:tygcrlgvmzeknjzowjempuyyle

A Two-stage approach for an optimum solution of the car assembly scheduling problem Part 1. Problem statement, solution outline and tutorial example

Michał Mazur, Antoni Niederliński
2015 Archives of Control Sciences  
It is proposed to decompose the problem into two subproblems: 1) a sequencing problem that generates admissible car sequences fulfilling capacity constraints for all car models in the production plan,  ...  A new approach to solving realistic car assembly scheduling problems for mixed model assembly line is presented.  ...  The details of its solution using a Constraint Logic Programming approach will be shown in Part 2 of this paper.  ... 
doi:10.1515/acsc-2015-0023 fatcat:7b4pyn5bkncdpf2tzturhef5uu

CONFIIT: A Middleware for Peer to Peer Computing [chapter]

Olivier Flauzac, Michaël Krajecki, Jean Fugère
2003 Lecture Notes in Computer Science  
To illustrate CONFIIT operation, we demonstrate how the car-sequencing problem can be solved in a distributed environment.  ...  Acknowledgements This work was partly supported by Romeo II, the high performance computing center of the University of Reims Champagne-Ardenne 4 .  ...  We choose to formalize the car-sequencing problem as a Constraint Satisfaction Problem, according to B. Smith in [25] : a variable X i is a possible position of a car in the sequence S.  ... 
doi:10.1007/3-540-44842-x_8 fatcat:nikq2ajk5bc7hnjgj35dqutlhy

Heuristic approaches for the car sequencing problems with block batches

Yingjie Yu, Xiaochun Lu, Tao Zhao, Minjiao Cheng, Lin Liu, Wenchao Wei
2022 EURASIP Journal on Wireless Communications and Networking  
This requirement often occurs when specialized labor time window is short in the customized car production scenario, and renders additional complexities to the traditional car sequencing problem.  ...  The CSP is a well-established problem, subject to the paint batching constraints to decrease the energy consumption for color changeovers and production rate constraints in the assembly shop to ensure  ...  Xiaochun Lu and Tao Zhao contributed in the research design, model formulation and algorithm development. Minjiao Cheng has collected the data and the computational results.  ... 
doi:10.1186/s13638-022-02113-7 fatcat:3xab2cnlrbbntmfraahyaty34a

Safe Autonomy Under Perception Uncertainty Using Chance-Constrained Temporal Logic

Susmit Jha, Vasumathi Raman, Dorsa Sadigh, Sanjit A. Seshia
2017 Journal of automated reasoning  
C2TL extends temporal logic by including chance constraints as predicates in the formula which allows modeling of perception uncertainty while retaining its ease of reasoning.  ...  We present a novel automated synthesis technique that compiles C2TL specification into mixed integer constraints, and uses second-order (quadratic) cone programming to synthesize optimal control of autonomous  ...  Our technique relies on approximating the probabilistic C2TL specification constraints with conservative deterministic constraints, and then, solving the control problem using quadratic cone programming  ... 
doi:10.1007/s10817-017-9413-9 fatcat:wfb2bqprcbhd5k6iapjb3yiddm

Trusted Neural Networks for Safety-Constrained Autonomous Control [article]

Shalini Ghosh, Amaury Mercier, Dheeraj Pichapati, Susmit Jha, Vinod Yegneswaran, Patrick Lincoln
2018 arXiv   pre-print
We propose multiple approaches for solving this problem: (a) a multi-headed model structure that allows trade-off between satisfying logical constraints and fitting training data in a unified training  ...  framework, and (b) creating a constrained optimization problem and solving it in dual formulation by posing a new constrained loss function and using a proximal gradient descent algorithm.  ...  Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of NSF.  ... 
arXiv:1805.07075v1 fatcat:2ckndaimlzddrjabwcrvp7zhju

Combination of planning methods in a comprehensive production planning approach for sequenced production lines

Kurt Matyas, Stefan Auer
2012 CIRP annals  
Within the research project HarmoPlan a constraint programming approach for the car sequencing problem is used.  ...  Solving algorithms In the following, typical algorithms and solving solutions are presented, which are used for dealing with problems in program planning and sequencing.  ... 
doi:10.1016/j.cirp.2012.03.076 fatcat:xfbvtcju6rdhnogex46ysgq37m
« Previous Showing results 1 — 15 out of 28,315 results