Variable structure strategy is widely used for the control of sensor-actuator systems modeled by Euler-Lagrange equations. However, accurate knowledge on the model structure and model parameters are often required for the control design. In this paper, we consider model-free variable structure control of a class of sensor-actuator systems, where only the online input and output of the system ar...

$

In this paper we present a method for embedding static analysis into tableaux and sequent based frameworks. In these frameworks, the information flows from the root node to the leaf nodes. We show that the existence of free variables in such frameworks introduces a bi-directional flow, which can be used to collect and synthesize arbitrary information. We use free variables to embed a static pro...

This paper contains the first algorithm that can solve disjunctions of constraints of the form ∃y ∈B [f = 0 ∧ g1 ≥ 0 ∧ . . . ∧ gk ≥ 0] in free variables x, terminating for all cases when this results in a numerically well-posed problem. The only assumption on the terms f, g1, . . . , gn is the existence of a pruning function, as given by the usual constraint propagation algorithms or by interva...

Abstract: Optimal control of a diesel-electric powertrain in transient operation as well as effects of adding a small energy storage to assist in the transients is studied. Two different types of problems are solved, minimum fuel and minimum time, with and without an extra energy storage. In the optimization both the output power and engine speed are free variables. For this aim a 4-state mean ...

Generalized Hoare logic (GHL) is a formal logical system for proving invariance properties of programs. It was first introduced by Lamport to reason about simple concurrent programs with shared variables. It was generalized by Lamport and Schneider who noticed that the inference rules for each language construct (enabling invariance properties of statements to be derived from invariance propert...

We present a modular approach to speciication and veriication of concurrency controllers by decou-pling their behavior and interface speciications. The behavior speciication of a concurrency controller deenes how its shared variables change their values whereas the interface speciication deenes the order in which a client thread should call its methods. We show that the concurrency controllers ...

Both optimal and suboptimal distributed parameter state estimation @ o m were applied in real time to a heated cylindrical ingot. Following this, deterministic and stochastic feedback controllers were implemented Detailed studies of the effects of variables such as sensor choice, measurement error, model acanacy, controller and estimator parameters, and computational approximations on the contr...

We present an algorithm to determine communicator variables in parallel programs. If communicator variables are accessed in program order and accesses to other shared variables are not reordered with respect to communicators, then program executions are sequentially consistent. Computing communicators is an efficient and effective alternative to delay set computation. The algorithm does not req...