Compositional safety rules for inter-triggering hybrid automata.

Kwesi J. Rutledge Glen Chou Necmiye Ozay

Published in: HSCC (2021)

Keyphrases

hybrid automata
active databases
active rules
production rules
termination analysis
database systems
association rule mining
decision rules
integrity constraints
rule sets
finite state automata
hidden markov models
object oriented