摘要 |
A method for controlling one or more physical machines for ensuring safety and liveness rules in a state based design of the physical machines, includes the steps of associating at least one logical state to at least one physical state that the physical machine or assemblage of physical machines may assume, providing state constraints for the logical states, and checking that a physical state assumed by the physical machines is associated to a logical state complying with the state constraints.
|