Symbolic Analysis of Linear Hybrid Automata - 25 Years Later.

Goran Frehse Mirco Giacobbe Enea Zaffanella

Published in: Principles of Systems Design (2022)

Keyphrases

statistical analysis
information systems
image analysis
years ago
hybrid automata
neural network
learning algorithm
training set
dynamic programming
theoretical analysis
pattern matching
closed form