this paper undertakes the synthesis of a logic-based switching h2/h∞ state-feedback controller for continuous-time lti singular perturbation systems. our solution achieves a minimum bound on the h2 performance level, while also satisfying the h∞ performance requirements. the proposed hybrid control scheme is based on a fuzzy supervisor managing the combination of two controllers. a convex lmi-b...

We generalize pp-elimination for modules, or more generally, abelian structures, to a continuous logic setting where the structure is equipped with homomorphism compact Hausdorff group. conclude that theory of such stable.

Diabetes therapy is normally based on discrete insulin infusion that uses long-time interval measurements. Nevertheless, in this paper, a continuous drug infusion closed-loop control system was proposed to avoid the traditional discrete approaches by automating diabetes therapy. Based on a continuous insulin injection model, two controllers were designed to deal with this plant. The controllers...

Nowadays, in majority of academic contexts, it has been tried to consider the highest possible level of similarities to the real world. Hence, most of the problems have complicated structures. Traditional methods for solving almost all of the mathematical and optimization problems are inefficient. As a result, meta-heuristic algorithms have been employed increasingly during recent years. In thi...

We propose axiomatizing some stochastic games, in a continuous state space setting, using continuous belief functions, resp. plausibilities, instead of measures. Then, stochastic games are just variations on continuousMarkov chains. We argue that drawing at random along a belief function is the same as letting the probabilistic player P play first, then letting the non-deterministic player C pl...

Markov chains are widely used in the context of performance and reliability evaluation of systems of various nature. Model checking of such chains with respect to a given (branching) temporal logic formula has been proposed for both the discrete [8] and the continuous time setting [1], [3]. In this short paper, we describe the prototype model checker E T MC for discrete and continuous-time Mark...

Recent investigations have shown that the automated verification of continuous-time Markov chains (CTMCs) against CSL (Continuous Stochastic Logic) can be performed in a rather efficient manner. The state holding time distributions in CTMCs are restricted to negative exponential distributions. This paper investigates model checking of semi-Markov chains (SMCs), a model in which state holding ti...

Logic of Behaviour in Context (LBC) is a spatio-temporal logic for expressing properties of continuous-state processes, such as biochemical reaction networks. LBC builds on the existing Metric Interval Temporal Logic (MITL) and adds a “context modality” that explores the behaviour of a system when composed with an external process. LBC models are terms of the Continuous π-Calculus (cπ), a proce...

This paper presents Non-Axiomatic Term Logic (NATL) as a theoretical computational framework of humanlike symbolic reasoning in artificial intelligence. NATL unites discrete syntactic system inspired from Aristotle's term logic and continuous semantic based on the modern idea distributed representations, or embeddings. positions proposed approach phylogeny literature logic, explains framework. ...

Many optimization problems require the modelling of discrete and continuous variables, giving rise to mixed-integer linear and mixed-integer nonlinear programming (MILP / MINLP). An alternative representation of MINLP is Generalized Disjunctive Programming (GDP)1. GDP models are represented through continuous and Boolean variables, and involve algebraic equations, disjunctions, and logic propos...