Project Summary

System Specification Diagram

User Environment Diagram

{
    "sys": [
        "sys.lts"
    ],
    "env": [],
    "dev": [
        "env.lts"
    ],
    "safety": [
        "p.lts"
    ],
    "method": "supervisory",
    "options": {
        "progress": [
            "confirm"
        ],
        "preferredMap": {
            "3": [
                [
                    "select",
                    "back",
                    "select",
                    "vote",
                    "confirm"
                ]
            ]
        },
        "controllableMap": {
            "1": [
                "back",
                "confirm",
                "password",
                "select",
                "vote"
            ],
            "3": [
                "eo.enter",
                "eo.exit",
                "v.enter",
                "v.exit"
            ]
        },
        "observableMap": {
            "0": [
                "back",
                "confirm",
                "password",
                "select",
                "vote"
            ],
            "2": [
                "eo.enter",
                "eo.exit",
                "v.enter",
                "v.exit"
            ]
        },
        "algorithm": "Pareto"
    }
}

Solution: solution_1.png

Solution: solution_10.png

Solution: solution_11.png

Solution: solution_12.png

Solution: solution_13.png

Solution: solution_14.png

Solution: solution_15.png

Solution: solution_16.png

Solution: solution_2.png

Solution: solution_3.png

Solution: solution_4.png

Solution: solution_5.png

Solution: solution_6.png

Solution: solution_7.png

Solution: solution_8.png

Solution: solution_9.png