Formalism and semantics of PyCATSHOO: A simulator of distributed stochastic hybrid automata.
Loïc DesgeorgesPierre-Yves PiriouThibault LemattreHassane ChraibiPublished in: Reliab. Eng. Syst. Saf. (2021)
Keyphrases
- hybrid automata
- logical language
- finite state automata
- conceptual graphs
- formal semantics
- operational semantics
- logical framework
- pattern matching
- computational properties
- peer to peer
- distributed systems
- conceptual model
- distributed environment
- training data
- argumentation frameworks
- knowledge representation
- logic programming
- formal language
- highly expressive
- upper bound