Sufficient condition for optimality is derived for the problem under consideration on the basis of the apparatus of locally conjugate mappings,and duality theorems are proved.A sufficient condition for an extremum is an extremal relation for the direct and dual problems.

Uppaal is an integrated tool environment for modeling, simulation and verification of real-time systems, developed jointly by Uppsala University, Sweden and Aalborg University, Denmark. It is appropriate for systems that can be modeled as a collection of non-deterministic processes with finite control structure and realvalued clocks, communicating through channels or shared variables [14, 9]. T...

In the present work, techniques of Model Predictive Control (MPC), Multi Agent Systems (MAS) and Reinforcement Learning (RL) are combined to develop a distributed control architecture for Large Scale Systems (LSS). This architecture is multi-agent based. The system to be controlled is divided in several partitions and there is an MPC Agent in charge of each partition. MPC Agents interact over a...

Conventional semantics for shared-variable concurrency suffers from the “grain of time” problem, i.e., the necessity of specifying a default level of atomicity. We propose a semantics that avoids any such choice by regarding all interference that is not controlled by explicit critical regions as catastrophic. It is based on three principles: – Operations have duration and can overlap one anothe...

In this paper, I propose that the availability of a bound variable reading for pronouns is predictable from their morphological structure of the pronouns. More specifically I argue that noun-containing pronouns cannot be bound variables. My proposal is different from D&W's (2002) argument in that in their theory, every DPs cannot have a bound variable reading, while in my theory, even DPs can h...

The equivalence between autonomicity and the absence of free variables is a well-known result for linear, shift-invariant and complete behaviors over a field. However, this no longer holds for a behavior that does not satisfy one of those properties. In this paper we consider linear, shift-invariant and complete behaviors over the ring Zpr and study under which conditions such behaviors are aut...

This paper presents an analysis of the copy construction that explains its similarity to extraction constructions while accounting for its incompatibility with wh+NP phrases. Essentially, wh-phrases without an NP complement can be copied because they’re non-quantificational (introducing only a free variable into the derivation). Whphraseswith anNP complement cannot be copied because thesewh-phr...

Field equations for generalized principle models with nonconstant metric are derived and ansatz for their Lax pairs is given. Equations that define the Lax pairs are solved for the simplest solvable group. The solution is dependent on one free variable that can serve as the spectral parameter. Painlevé analysis of the resulting model is performed and its particular solutions are found 1991 MSC ...

A set of operat ions for construct ing a lgebra ic specif icat ions in an arbi t rary logical system is presented. This builds on the f ramework provided by Goguen and Burstal l 's work on the not ion of an inst i tut ion as a formal isat ion of the concept of a logical system for wri t ing specif icat ions. We show how to introduce free variables into the sentences of an arbi t rary institutio...