in recent years, formal methods have been used as an important tool forperformance evaluation and verification of a wide range of systems. in the viewpoints of engineers and practitioners, however, there are still some major difficultiesin using formal methods. in this paper, we introduce a new formal modelinglanguage to fill the gaps between object-oriented programming languages (oopls)used by...

The problem considered in this paper is the online diagnosis of Automated Production Systems with sensors and actuators delivering discrete binary signals that can be modeled as Discrete Event Systems. Even though there are numerous methods, none them meet all criteria implementing an efficient system (such intelligent solution, average effort, a reasonable cost, diagnosis, fewer false alarms, ...