We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...
The Automated Production Systems (APS) are composed of concurrent interacting entities. Then any model should exhibit parallel and sequential behaviours. The Grafcet is now well e...
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
Background: Current approaches to parameter estimation are often inappropriate or inconvenient for the modelling of complex biological systems. For systems described by nonlinear ...
We demonstrate an adaptation strategy for adjusting the stride period in a hexapedal running robot. The robot is inspired by discoveries about the self-stabilizing properties of i...
Jonathan K. Karpick, Jorge G. Cham, Jonathan E. Cl...