Filters








8,147 Hits in 6.3 sec

Page 657 of Mathematical Reviews Vol. , Issue 2000a [page]

2000 Mathematical Reviews  
In this approach, Apt tries to separate constraint programming from logic programming by going back to the origin of constraint handling, and by viewing computing as the task of transforming one constraint  ...  and neural techniques for data analysis (305-351); Dimitry Gorinevsky [D.  ... 

A Synthesizing Effect-Based Solution Method for Stochastic Rough Multi-objective Programming Problems

Lei Zhou, Guoshan Zhang, Fachao Li
2013 International Journal of Computational Intelligence Systems  
The MOSE model contains expectation value model and chance-constrained model by choosing different synthesis effect functions and can be considered as an extension of crisp multi-objective programming  ...  In this paper, we consider the uncertain programming problem which contains random information and rough information and is hard to be solved.  ...  We use the technique of random rough simulation to handle random rough objective functions and check the random rough constraints. Step 1 Input the initial programming model.  ... 
doi:10.1080/18756891.2013.856255 fatcat:ceqvawdpffanjmyq2z4w5cban4

Cognification of Program Synthesis—A Systematic Feature-Oriented Analysis and Future Direction

Ahmad F. Subahi
2020 Computers  
The results are documented using feature diagrams as a comprehensive feature model of program synthesis showing alternative techniques and architectures.  ...  There are various program synthesis applications built on Machine Learning (ML) and Natural Language Processing (NLP) based approaches.  ...  Here, the program synthesis problem is treated as the Constraints' Satisfaction Problem (CSP).  ... 
doi:10.3390/computers9020027 fatcat:4t25hhuh4fcsrjzhfriggo5vra

Sequential Convex Programming for the Efficient Verification of Parametric MDPs [article]

Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu
2017 arXiv   pre-print
This insight allows for a sequential optimization algorithm to efficiently compute sound but possibly suboptimal solutions. Each stage of this algorithm solves a geometric programming problem.  ...  Direct applications of the encodings as nonlinear pro- grams are model repair and parameter synthesis. We demonstrate the scalability and quality of our approach by well-known benchmarks  ...  We relax nonconvex constraints in SGPs and apply a simple transformation to the parameter functions. The resulting programs are geometric programs (GPs) [7] , a class of convex programs.  ... 
arXiv:1702.00063v1 fatcat:7eqtbtjcfvbghmf4vljx2i7ipa

Convexified Open-Loop Stochastic Optimal Control for Linear Non-Gaussian Systems [article]

Vignesh Sivaramakrishnan, Abraham P. Vinod, Meeko M. K. Oishi
2020 arXiv   pre-print
We propose a novel, sampling-free approach, based on Fourier transformations and convex optimization, to cast the stochastic optimal control problem as a difference-of-convex program.  ...  We demonstrate that the proposed approach is computationally faster than existing particle based and moment based approaches, without compromising probabilistic safety constraints.  ...  CONSTRAINT SATISFACTION (1 − ∆) FOR BOTH COMPUTED (COMP) AND MONTE-CARLO (MC) SIMULATION FOR 10 5 SAMPLES OF THE DISTURBANCE TRAJECTORY FOR OUR APPROACH AND THE PARTICLE BASED APPROACH.  ... 
arXiv:2010.02101v1 fatcat:sdyzq6kxvvdtvjejueppatpjii

MICSL: Multiple Iterative Constraint Satisfaction based Learning

G Potamias
1999 Intelligent Data Analysis  
The algorithm utilizes mathematical programming and constraint satisfaction techniques towards uniform representation and management of both data and background knowledge.  ...  Theoretical results relating the solutions of a constraint satisfaction process and the minimal models of a set of cases are stated and proved.  ...  Successful constraint satisfaction techniques are mostly utilized in the constraint logic programming (CLP) context.  ... 
doi:10.1016/s1088-467x(99)00022-0 fatcat:wrv3vrww7fgt5dnugdlh4ynmvu

Exact Synthesis of ESOP Forms [article]

Heinz Riener and Rüdiger Ehlers and Bruno Schmitt and Giovanni De Micheli
2018 arXiv   pre-print
We describe the formalization of the ESOP synthesis problem with a fixed number of terms as a decision problem and present search procedures for determining ESOP forms of minimum size.  ...  We experimentally evaluate the performance of the SAT-based synthesis procedures on completely- and incompletely-specified Boolean functions.  ...  the capabilities of ESOP optimization techniques remain unclear.  ... 
arXiv:1807.11103v1 fatcat:z6amgut3wvhqfpbfmmm5qzujtm

Formal controller synthesis for wastewater systems with signal temporal logic constraints: The Barcelona case study

Samira S. Farahani, Sadegh Soudjani, Rupak Majumdar, Carlos Ocampo-Martinez
2018 Journal of Process Control  
We present an approach for formal controller synthesis of the Barcelona wastewater system.  ...  We propose a solution approach for the obtained worst-case optimization, which is based on transforming the nonlinear dynamics of the system into a mixed logical dynamical model.  ...  Simulation Results We apply our proposed synthesis techniques to the model of the BTC presented in Figure 1 .  ... 
doi:10.1016/j.jprocont.2018.05.011 fatcat:rl4q2fz42jdxzalvdcd7xde2ty

Optimization of operation of energy supply systems with co-generation and absorption refrigeration

Mirko Stojiljkovic, Bratislav Blagojevic, Goran Vuckovic, Marko Ignjatovic, Dejan Mitrovic
2012 Thermal Science  
The optimization problem is defined as mixed integer non-linear and solved combining modern stochastic techniques: genetic algorithms and simulated annealing with linear programming using the object oriented  ...  "ESO-MS" software solution for simulation and optimization of energy supply systems, developed as a part of this research.  ...  The optimization problem is defined as mixed integer non-linear and solved combining modern stochastic techniques: genetic algorithms and simulated annealing with linear programming, exploiting the advantages  ... 
doi:10.2298/tsci120503179s fatcat:bkptbf5oyffcpip3xcjvtk3uuq

Towards Mixed Optimization for Reinforcement Learning with Program Synthesis [article]

Surya Bhupatiraju, Kumar Krishna Agrawal, Rishabh Singh
2018 arXiv   pre-print
We present an iterative framework, MORL, for improving the learned policies using program synthesis.  ...  Concretely, we propose to use synthesis techniques to obtain a symbolic representation of the learned policy, which can then be debugged manually or automatically using program repair.  ...  The symbolic program representations are amenable for analysis and transformations using automated program verification and repair techniques, or human inspection.  ... 
arXiv:1807.00403v2 fatcat:yen3rmixgzfinmtmcgvhchb52m

Safe Autonomy Under Perception Uncertainty Using Chance-Constrained Temporal Logic

Susmit Jha, Vasumathi Raman, Dorsa Sadigh, Sanjit A. Seshia
2017 Journal of automated 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  ...  These systems often operate in uncertain environments and in the presence of noisy sensors, and use machine learning and statistical sensor fusion algorithms to form an internal model of the world that  ...  Chance constrained programming was originally introduced for solving probabilistic constraints which guarantees constraint satisfaction up to a specified probabilistic limit while optimizing a cost function  ... 
doi:10.1007/s10817-017-9413-9 fatcat:wfb2bqprcbhd5k6iapjb3yiddm

Bridging the Gap Between General-Purpose and Domain-Specific Compilers with Synthesis

Alvin Cheung, Shoaib Kamil, Armando Solar-Lezama, Marc Herbstritt
2015 Summit on Advances in Programming Languages  
ACM Subject Classification I.2.2 Program Synthesis  ...  The key to this approach is a synthesis-based technique to raise the level of abstraction of general-purpose code to enable aggressive domain-specific optimizations.  ...  Meanwhile, inductive synthesis techniques have been used to search for optimal code sequences in data-parallel programs [8] and bitvector manipulation codes [18] , although the search was not over multiple  ... 
doi:10.4230/lipics.snapl.2015.51 dblp:conf/snapl/CheungKS15 fatcat:lqcelmyyfrcmhatjowolqgdihi

Verification of Cyber-Physical Systems (Dagstuhl Seminar 14122)

Rupak Majumdar, Richard M. Murray, Pavithra Prabhakar, Marc Herbstritt
2014 Dagstuhl Reports  
This report documents the program and the outcomes of Dagstuhl Seminar 14122 "Verification of Cyber-Physical Systems".  ...  To this end, the seminar brought together researchers working in the fields of formal methods, control theory and hybrid systems to identify and discuss potential issues and research questions which require  ...  As an instance of this paradigm, we present a technique to discover Lyapunov functions for nonlinear and hybrid systems from simulation data using linear programming techniques, global optimization tools  ... 
doi:10.4230/dagrep.4.3.85 dblp:journals/dagstuhl-reports/MajumdarMP14 fatcat:qm5epthwvbgf5mk74me42qcpei

The Embedded Systems Design Challenge [chapter]

Thomas A. Henzinger, Joseph Sifakis
2006 Lecture Notes in Computer Science  
We call for a coherent scientific foundation for embedded systems design, and we discuss a few key demands on such a foundation: the need for encompassing several manifestations of heterogeneity, and the  ...  We believe that the development of a satisfactory Embedded Systems Design Science provides a timely challenge and opportunity for reinvigorating computer science.  ...  We thank Paul Caspi and Oded Maler for valuable comments on a preliminary draft of this manuscript.  ... 
doi:10.1007/11813040_1 fatcat:3hvzxh3snjbhhc6lcm4gydnye4

Mission Planning Issues of Imaging Satellites: Summary, Discussion, and Prospects

Guohui Zhang, Xinhong Li, Gangxuan Hu, Zhibin Zhang, Jiping An, Wanxin Man, Giovanni Palmerini
2021 International Journal of Aerospace Engineering  
Satellite mission planning is the basis and top-level work of space missions and the beginning of each space mission.  ...  Starting from these three aspects vertically and then horizontally, this paper comprehensively discusses the theoretical basis, application, and advantages and disadvantages of related technologies in  ...  Wei [47] analyzed the advantages and disadvantages of traditional mathematical programming and constraint satisfaction optimization programming and found that they can complement each other to a certain  ... 
doi:10.1155/2021/7819105 fatcat:tkgdzhhga5cpjnvo2x5ioknc2i
« Previous Showing results 1 — 15 out of 8,147 results