Formal Techniques for the Verification and Optimal Control of Probabilistic Systems in thePresence of Modeling Uncertainties

We register a stochastic sequence affected by one disorder. Monitoring of the sequence is made in the circumstances when not full information about distributions before and after the change is available. The initial problem of disorder detection is transformed to optimal stopping of observed sequence. Formula for optimal decision functions is derived.

The aim of this paper is to tackle the time optimal controllability of an (n+1)-dimensional nonholonomic integrator. In the optimal control problem we consider, the state variables are subject to a bound constraint. We give a full description of the optimal control and optimal trajectories are explicitly obtained. The optimal trajectories we construct, lie in a 2-dimensional plane and they are ...

Sensor networks primarily have two competing objectives: they must sense as much as possible, yet last as long as possible when deployed. In this paper, we approach this problem using optimal control. We describe a model that relates each sensor’s “footprint” to their power consumption and use this model to derive optimal control laws that maintain the area coverage for a specified operational ...

We consider a single-stage manufacturing system where the physical state of each job is characterized by timedriven dynamics and its temporal state by event-driven dynamics. Extending an earlier analysis of a deterministic model for this system, we study a stochastic model where there are controllable parameters that affect the service processing speed. When job arrivals are represented through...

This study proves various global stability results for unbounded optimal growth models. The main theorem states that any optimal path converges into the neighborhood of a balanced growth path if future utility is sufficiently weakly discounted. The assumptions allow for non-smooth technologies, joint production, and production in independent sectors. Hence, the results form the integration of n...

Article history: Received 18 July 2008 Accepted 26 December 2009 Available online 11 January 2010