Non-convex Invariants and Urgency Conditions on Linear Hybrid Automata.

Stefano Minopoli Goran Frehse

Published in: FORMATS (2014)

Keyphrases

hybrid automata
piecewise linear
semi infinite programming
finite state automata
sufficient conditions
semidefinite
fractional programming
convex sets
quadratic function
convex optimization
reinforcement learning
hidden markov models
finite dimensional