In this paper we focus on observability for hybrid systems in the mixed-logic dynamical form. We show that the maximal set of observable states, that is usually non convex and disconnected, can be represented as the union of finitely many polytopic regions. The argument, that is based on multi-parametric programming theory, is constructive and provides an algorithm for the computation of the re...

The procedural semantics of multi-adjoint logic programming is used for providing a model-theoretic semantics for a data model. A translation method for deductive logic databases is presented for obtaining a relational algebra with classical projection and enriched parametric join operator with aggregations. The use of non-commutative conjunctors allows for a model of different degrees of granu...

From a conventional mathematical programming model, and in accordance with which fuzzification is used, several models of fuzzy mathematical programming problems can be obtained. This paper deals with the study of the optimality concept for (g,p)-fuzzified mathematical programming problems. An auxiliary parametric mathematical programming problem is presented which allows the above model to be ...

In this paper the application of parametric programming to CNC machining is discussed. As one of the less frequently utilized features of CNC machines, parametric programming has the potential to increase the efficiency of CNC operations. This feature is particularly beneficial to companies with group technology manufacturing where parts with similar design or operational requirements are proce...

<p style='text-indent:20px;'>This paper deals with the generalized Clarke epiderivative of extremum multifunction a multi-objective parametric convex discrete optimal control problem linear state equations and constraints. By establishing an abstract result on mathematical programming problem, we derive formula for computing to problem. Examples are given illustrate obtained results.</...

DesignScript, as the name suggests, is positioned at the intersection of design and programming. DesignScript can be viewed as part of the continuing tradition of the development of parametric and associative modeling tools for advanced architectural design and building engineering. Much of the thought processes that contribute to the effective use of DesignScript builds on the tradition of par...

Abstract: Bi-level programming, a tool for modeling decentralized decisions, consists of the objective(s) of the leader at its first level and that is of the follower at the second level. Three level programming results when second level is itself a bi-level programming. By extending this idea it is possible to define multi-level programs with any number of levels. Supply chain planning problem...