PSC2GS

PSC2GM is proposed on automatic generation of monitors from a scenario-based specification for CBSs based on game theory, since game models have been widely used to analyze and solve control problems for open systems . The game view has also been used in the specification and verification of the interaction between components, and of the interaction between components and their environment. Furthermore, the game model can also give the multi-valued semantics of monitors which can provide enough information to help the system to take measures for failure prevention and recovery.