gi Lp / Lie derivative Lp / L If Lp / R Lp / Noetherian / def Lp / / /
Facility
Andr´e Platzer Carnegie Mellon University / /
IndustryTerm
energy function / symbolic linear algebra tools / hybrid systems / maximal solution / i.e. systems / analytic solution / i . e .ii . e ..i . e .ei . e ..i . e . i . e .si . e .yi . e .si . e .ti . e .ei . e .mi . e .si . e . / /
Organization
Defense Advanced Research Agency / Carnegie Mellon University / Pittsburgh / National Science Foundation / /