Set Theory-based FSM for Managing Home Emergencies Concept, Properties and Process Algebra.
Allal TiberkakAbdelfetah HentoutAbdelkader BelkhirTayeb LemloumaAhmed BouabdallahPublished in: PAIS (2018)
Keyphrases
- set theory
- process algebra
- partial order
- fuzzy set theory
- rough sets
- first order logic
- mathematical morphology
- formal specification
- asynchronous circuits
- fuzzy sets
- formal methods
- rough set theory
- concurrent systems
- multi agent systems
- decision rules
- probability theory
- model checking
- real time
- description logics
- artificial intelligence