Jerry den Hartog

  • Citations Per Year
Learn More
In this report a comparative semantics is given for a language L p containing probabilistic and non-deterministic choice. The eeects of interpreting these operators as local or global are investigated. For three of the possible combinations an operational model and a denotational model are given and compared. First models for local probabilistic choice and(More)
Industrial control systems have stringent safety and security demands. High safety assurance can be obtained by specifying the system with possible faults and monitoring it to ensure these faults are properly addressed. Addressing security requires considering unpredictable attacker behavior. Anomaly detection, with its data driven approach, can detect(More)
  • 1