We introduce rt-inconsistency, a property of real-time requirements. The property reflects that the requirements specify apparently inconsistent timing constraints. We present an algorithm to check rt-inconsistency automatically. The algorithm works via a stepwise reduction to real-time model checking. We implement the algorithm using an existing module for the reduction and the UPPAAL tool for...

Value functions of impulse control problems are known to satisfy Quasi-Variational Inequalities (QVI) (Bensoussan and Lions (1982)). This paper proves the smooth-fit C1 property of the value function for multi-dimensional controlled diffusions, using a viscosity solution approach. We show by examples how to exploit this regularity property to derive explicitly optimal policy and value function....

Water-soluble metal working fluids are used for processing of aluminum alloy materials. This short article describes properties of new additives in water-soluble metal working fluids for aluminum alloy materials. Many half esters or diesters were prepared from the reactions of higher alcohols with acid anhydrides. Interestingly, diesters of PTMG (tetrahydrofuran oligomer, MW = 650 and 1000) and...

In this paper we describe AMT, a tool for monitoring temporal properties of continuous signals. We first introduce STL/PSL, a specification formalism based on the industrial standard language PSL and the real-time temporal logic MITL, extended with constructs that allow describing behaviors of real-valued variables. The tool automatically builds property observers from an STL/PSL specification ...

The importance of patents for economic development in general and forBritish industrialization in particular remains an unresolved issue, but one thatduring the past twenty-five years has benefited from intensive historical re-search. This paper re-examines the debate in the light both of that research andof revisionist histories of the British industrial revolution. It focuses ...