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.
Follow PSC2GS
You Might Also Like
Our Free Plans just got better! | Auth0 by Okta
You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your secuirty. Auth0 now, thank yourself later.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of PSC2GS!