In this paper, we propose a symbolic control synthesis method for nonlinear sampled switched systems whose vector fields are one-sided Lipschitz. The main idea is to use an approximate model obtained from the forward Euler method to build a guaranteed control. The benefit of this method is that the error introduced by symbolic modeling is bounded by choosing suitable time and space discretizati...

One challenge for cognitive architectures is to effectively use different forms of knowledge and learning. We present a case study of Soar agents that play a multiplayer dice game, in which probabilistic reasoning and heuristic symbolic knowledge appear to play a central role. We develop and evaluate a collection of agents that use different combinations of probabilistic decision making, heuris...

A method of modeling PWM switches for symbolic analysis of pulse-width-modulated (PWM) dc-to-dc converters operating in the continuous conducting mode (CCM) is described for switches with both fixed and modulated duty ratio. The well-known average models of PWM switch according to Vorpérian are implemented by means of modified nodal analysis into the SNAP program to analyze transfer and immitta...

In this paper, we describe an evolutionary approach to one of the most challenging problems in computer music: modeling the knowledge applied by a musician when performing a score of a piece in order to produce an expressive performance of the piece. We extract a set of acoustic features from Jazz recordings thereby providing a symbolic representation of the musician’s expressive performance. B...

Symbolic models have been used as the basis of a systematic framework to address control design several classes hybrid systems with sophisticated objectives. However, results available in literature are not concerned impulsive which an important modeling many applications. In this letter, we provide approach for constructing symbolic class possessing some stability properties. We formally relat...

The utilization of symbolic and semisymbolic algorithms as the effective tools supporting partial design stages of analogue filters is introduced. The corresponding software has been designed for supporting main design stages of both the passive and active filters effectively: a principle verification using the symbolic analysis, modeling of the influence of real component parameters using the ...

This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify equivalence classes of input values and has been shown to scale well to large systems. Although mainly applied to sequential programs, this scalability makes it interesting to consider the technique in the distributed and conc...

A critical precursor to deployment of model-based controllers for articulated-mechanical-systems is availability of a systematic means for generating plant-model-equations. However, the complexity and tractability of generating and analyzing models serves to limit the size of the chosen examples. Hence, we examine the use of contemporary symbolic-computation tools to assist with the automated s...

In the last several years, a collection of systems have been designed around cognitive psychological principles in an attempt to reproduce the thought patterns of the human mind. These cognitive architectures have made progress in modeling human thought through production system architectures; however, they traditionally have little interaction with the outside world. Additionally, these system...

We describe an application of symbolic control to ventilation regulation in buildings. The monotonicity property of a nonlinear control system subject to disturbances, modeling the process, is exploited to obtain symbolic abstractions, in the sense of alternating simulation. The resulting abstractions consist of non-deterministic finite transition systems, for which we can synthesize supervisor...