CITATION.bib

@InProceedings{legat2016generating,
  author    = {Legat, Beno\^{\i}t and Jungers, Rapha\"{e}l M. and Parrilo, Pablo A.},
  title     = {{G}enerating unstable trajectories for {S}witched {S}ystems via {D}ual {S}um-{O}f-{S}quares techniques},
  booktitle = {Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control},
  year      = {2016},
  series    = {HSCC '16},
  pages     = {51--60},
  publisher = {ACM},
  acmid     = {2883821},
  doi       = {10.1145/2883817.2883821},
  isbn      = {978-1-4503-3955-1},
  keywords  = {joint spectral radius, path-complete lyapunov functions, sum of squares programming, switched systems},
  location  = {Vienna, Austria},
  numpages  = {10},
  timestamp = {2016.02.18},
  url       = {http://doi.acm.org/10.1145/2883817.2883821},
}
@InProceedings{legat2018computing,
  author   = {Beno\^it Legat and Paulo Tabuada and Rapha\"el M. Jungers},
  title    = {Computing controlled invariant sets for hybrid systems with applications to model-predictive control},
  year     = {2018},
  volume   = {51},
  number   = {16},
  pages    = {193--198},
  note     = {6th IFAC Conference on Analysis and Design of Hybrid Systems ADHS 2018},
  doi      = {https://doi.org/10.1016/j.ifacol.2018.08.033},
  issn     = {2405-8963},
  journal  = {IFAC-PapersOnLine},
  keywords = {Controller Synthesis, Set Invariance, LMIs, Scalable Methods},
  url      = {http://www.sciencedirect.com/science/article/pii/S2405896318311480},
}
@Article{legat2019entropy,
  author    = {Beno\^it Legat and Pablo A. Parrilo and Rapha\"el M. Jungers},
  title     = {An entropy-based bound for the computational complexity of a switched system},
  journal   = {IEEE Transactions on Automatic Control},
  year      = {2019},
  doi       = {10.1109/TAC.2019.2902625},
  publisher = {IEEE},
}
@Misc{SwitchOnSafety,
  author = {Legat, Beno{\^\i}t and Gomes, Cl{\'a}udio},
  title  = {blegat/{S}witch{O}n{S}afety.jl: v0.0.4},
  month  = oct,
  year   = {2019},
  doi    = {10.5281/zenodo.3234046},
  url    = {https://doi.org/10.5281/zenodo.3234046}
}