Predicate Transformer Semantics for Hybrid Systems.

Jonathan Julián Huerta y Munive Georg Struth

Published in: J. Autom. Reason. (2022)

Keyphrases

hybrid systems
meta learning
intelligent systems
black box
neural network
discrete event
soft computing
fuzzy logic
artificial intelligence
computational intelligence
logic programming
dynamic systems
inductive learning
simulation model
power system
artificial neural networks
workflow systems