Programming in Hybrid Constraint Languages
نویسندگان
چکیده
We present a language, Hybrid cc, for modeling hybrid systems compositionally. This language is declarative, with programs being understood as logical formulas that place constraints upon the temporal evolution of a system. We show the expressiveness of our language by presenting several examples, including a model for the paperpath of a photocopier. We describe an interpreter for our language, and provide traces for some of the example programs.
منابع مشابه
Large Combinatorial Optimization Problems: a Methodology for Hybrid Models and Solutions
Large Scale Combinatorial Optimization problems (LSCO) appear in numerous types of industrial applications (e.g. production scheduling, routing problems , nancial applications). They are NP-complete problems characterized by large sets of data, constraints and variables, and often have an impure structure. Tackling such problems successfully requires both experience and skill. The current trend...
متن کاملConstraint Based Languages for Biological Reactions
In this paper,we study themodelization of biochemical reaction by using concurrent constraint programming idioms. In particular we will consider the stochastic concurrent constraint programming(sCCP), the Hybrid concurrent constraint programming languages (Hcc) and the Biochemical Abstract Machines (BIOCHAM).
متن کاملStrategies for the Efficient Solution of Hybrid Constraint Logic Programs
Meta-S is a system for defining the cooperation and coordination of constraint solvers to attack hybrid constraint problems. The integration of a logic programming language into this system by considering the language evaluation mechanism resolution as constraint solver yields a CLP language with support for solver cooperation. Using the strategy definition framework of Meta-S we define classic...
متن کاملIntegration Schemas for Constraint Answer Set Programming: a Case Study
Recently, researchers in answer set programming and constraint programming spent significant efforts in the development of hybrid languages and solving algorithms combining the strengths of these traditionally separate fields. These efforts resulted in a new research area: constraint answer set programming (CASP). CASP languages and systems proved to be largely successful at providing efficient...
متن کاملMulti-item inventory model with probabilistic demand function under permissible delay in payment and fuzzy-stochastic budget constraint: A signomial geometric programming method
This study proposes a new multi-item inventory model with hybrid cost parameters under a fuzzy-stochastic constraint and permissible delay in payment. The price and marketing expenditure dependent stochastic demand and the demand dependent the unit production cost are considered. Shortages are allowed and partially backordered. The main objective of this paper is to determine selling price, mar...
متن کاملHybrid Approach of Constraint Programming and Integer Programming for Solving Resource - constrained Project - scheduling Problems
Abstract—Resource –constrained project scheduling problem (RCPSP) is a well known NP hard problem. This paper proposes a hybrid approach of constraint programming (CP) and integer programming (IP) which could solve RCPSP with ideal efficiency and quality. Constraint propagation is key element of constraint programming and is widely used in cumulative resource problem (CRP). CRP can be taken as ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994