This paper presents an approach to accurate and scalable multiple-model state estimation for hybrid systems with intermittent, multi-modal dynamics. The approach consists of using discrete-state estimation to identify a system’s behavioral context and determine which motion models appropriately represent current dynamics, and which multiple-model filters are appropriate for state estimation. Th...

In explicit state model checking of linear temporal logic properties, a Büchi automaton encodes a temporal property. It interleaves with a Kripke model to form a state space, which is searched for counterexamples. Multi-valued model checking considers additional truth values beyond the Boolean true and false; these values add extra information to the model, e.g. for the purpose of abstraction o...

background and aims. this study aimed to investigate release of nickel ion from three types of nickel-titanium-based wires in the as-received state and after immersion in a simulated oral environment. materials and methods. forty specimens from each of the single-strand niti (rematitan “lite”), multi-strand niti (speed supercable) and copper niti (damon copper niti) were selected. twenty specim...

To improve the precision of three-dimensional hand tracking based on the particle filtering, a novel algorithm using Multi-Model fusion to improve the state prediction of particle filtering is put forward. Through analyzing the experimental data of the virtual interactive platform system, combining with the behavior understanding and description of hand, we firstly construct a model for human h...