Automatic and manual software verification is based on applying mathematical methods to a model of the software. Modeling is usually done manually, thus it is prone to modeling errors. This means that errors found in the model may not correspond to real errors in the code, and that if the model is found to satisfy the checked properties, the actual code may still have some errors. For this reas...

Multiobjective control design is known to be a difficult problem both in theory and practice. Our approach is to search for locally optimal solutions of a nonsmooth optimization problem that is built to incorporate minimization objectives and constraints for multiple plants. We report on the success of this approach using our public-domain matlab toolbox hifoo 2.0, comparing our results with be...

Abstract: The regularity and stability of optimal controls of nonstationary Navier-Stokes equations are investigated. Under suitable assumptions every control satisfying first-order necessary conditions is shown to be a continuous function in both space and time. Moreover, the behaviour of a locally optimal control under certain perturbations of the cost functional and the state equation is inv...

Let V be a vector field distribution on manifold M . We give an efficient algorithm for the construction of local coordinates on M such that V may be locally expressed as some partial prolongation of the contact distribution C (1) q , on the 1 st order jet bundle of maps from R to R, q ≥ 1. It is proven that if V is locally equivalent to a partial prolongation of C (1) q then the explicit const...

We propose an algorithm that builds and maintains clusters over a network subject to mobility. This algorithm is fully decentralized and makes all the different clusters grow concurrently. The algorithm uses circulating tokens that collect data and move according to a random walk traversal scheme. Their task consists in (i) creating a cluster with the nodes it discovers and (ii) managing the cl...

A general SIR-model with vaccination and treatment is considered as a multi-input optimal control problem over a fixed time horizon. Existence and local optimality of singular controls is investigated. It is shown that the optimal vaccination schedule can be singular, but that treatment schedules are not.

This paper is devoted to a class of fuzzy or derings which play a fundamental role in de cision analysis and fuzzy control strongly linear fuzzy weak orderings First we see that any relation of that kind can be decom posed into a crisp linear ordering and a fuzzy equivalence relation As a consequence a general representation theorem follows Fi nally a method for constructing strongly lin ear fu...

This paper deals with second order necessary conditions for optimal solution of optimal control problems governed by semilinear elliptic partial differential equations with pointwise state-control constraints.

The class of continuous piecewise linear (PL) functions represents a useful family of approximants because invertibility can be readily imposed, and if a PL function is invertible, then it can be inverted in closed form. Many applications, arising, for example, in control systems and robotics, involve the simultaneous construction of a forward and inverse system model from data. Most approximat...

Media access control (MAC) protocols for mobile ad-hoc networks are of interest in applications ranging from wireless local area networks (WLANs) to global skywave highfrequency radio networks. Much of the recent work in wireless MAC protocols has emphasized networks with short turnaround times (e.g., IEEE 802.11 WLANs). However, some wireless networks suffer lengthy turnaround times in the phy...