On the Composition of Discrete and Continuous-time Assume-Guarantee Contracts for Invariance.

Adnane Saoud Antoine Girard Laurent Fribourg

Published in: ECC (2018)

Keyphrases

markov processes
markov chain
supply chain
state space
finite number
invariant properties
database
discrete geometry
discrete space
continuous data
discriminative power
optimal control
graphical models
multiscale
computer vision
information retrieval
machine learning