A batch production process that is initially in the in-control state can fail with constant failure rate to the out-of-control state. The probability that a unit is conforming if produced while the process is in control is constant and higher than the respective constant conformance probability while the process is out of control. When production ends, the units are inspected in the order they ...

We describe a new planning technique that efficiently solves probabilistic propositional contingent planning problems by converting them into instances of stochastic satisfiability (SSat) and solving these problems instead. We make fundamental contributions in two areas: the solution of SSat problems and the solution of stochastic planning problems. This is the first work extending the planning...

Many sequential decision-making problems require an agent to reason about both multiple objectives and uncertainty regarding the environment’s state. Such problems can be naturally modelled as multi-objective partially observable Markov decision processes (MOPOMDPs). We propose optimistic linear support with alpha reuse (OLSAR), which computes a bounded approximation of the optimal solution set...

Maze problems represent a simplified virtual model of real environments that can be used for developing core algorithms of many real-world application related to the problem of navigation. However, the best achievements of Learning Classifier Systems (LCS) in maze problems are still mostly bounded to non-aliasing environments, while LCS complexity seems to obstruct a proper analysis of the reas...

Both humans and the sensors on an autonomous vehicle have limited sensing capabilities. When these limitations coincide with scenarios involving vulnerable road users, it becomes important to account for these limitations in the motion planner. For the scenario of an occluded pedestrian crosswalk, the speed of the approaching vehicle should be a function of the amount of uncertainty on the road...

We propose a node-removal/arc-reversal algorithm for influence diagram evaluation that includes reductions that allow an influence diagram to be solved by a generalization of the dynamic programming approach to solving partially observable Markov decision processes (POMDPs). Among its potential advantages, the algorithm allows a more flexible ordering of node removals, and a POMDPinspired appro...

Processing map for hot working of Ti-IF steel has been developed in the temperature range of 750 to 1100 °C and strain rate of 0.01 to 100 s-1. This map in the austenite region exhibits a single domain with a peak efficiency of 45% occurring at 1025 °C and strain rate of 0.02 s-1. The domain extends over the temperature range of 1000 to 1100 °C and strain rate range of 0.01 to 1 s-1. The true s...

an elliptical tank cross-section is formulated to explore and optimization method, based on a real-coded genetic algorithm to enhance the roll stability limit of a tank vehicle. a shape genetic algorithm optimization problem is applied to minimize the overturning moment imposed on the vehicle due to c.g. height of the liquid load, and lateral acceleration and cargo load shift . the minimization...

in this paper, some recent results established by marin borcut [m. borcut, tripled fixed point theorems for monotone mappings in partially ordered metric spaces, carpathian j. math. 28, 2 (2012), 207--214] and [m. borcut, tripled coincidence theorems for monotone mappings in partially ordered metric spaces, creat. math. inform. 21, 2 (2012), 135--142] are generalized and improved, with much sho...

the aim of this paper is to establish random coincidence point results for weakly increasing random operators in the setting of ordered metric spaces by using generalized altering distance functions. our results present random versions and extensions of some well-known results in the current literature.