CaltechAUTHORS
  A Caltech Library Service

Items where Person is "Filippidis-I"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type | First Author | No Grouping
Number of items: 13.

Article

Filippidis, Ioannis and Murray, Richard M. (2018) Layering Assume-Guarantee Contracts for Hierarchical System Design. Proceedings of the IEEE, 106 (9). pp. 1616-1654. ISSN 0018-9219. https://resolver.caltech.edu/CaltechAUTHORS:20180920-104049492

Filippidis, Ioannis and Murray, Richard M. and Holzmann, Gerard J. (2016) A multi-paradigm language for reactive synthesis. Electronic Proceedings in Theoretical Computer Science (EPTCS), 202 . pp. 73-97. ISSN 2075-2180. https://resolver.caltech.edu/CaltechAUTHORS:20190410-120619515

Book Section

Dathathri, Sumanth and Filippidis, Ioannis and Murray, Richard M. (2019) Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States. In: Robotics Research: The 18th International Symposium ISRR. Springer Proceedings in Advanced Robotics. No.10. Springer , Cham, pp. 827-842. ISBN 978-3-030-28618-7. https://resolver.caltech.edu/CaltechAUTHORS:20171102-092833279

Filippidis, Ioannis and Dathathri, Sumanth and Livingston, Scott C. et al. (2016) Control design for hybrid systems with TuLiP: The Temporal Logic Planning toolbox. In: 2016 IEEE Conference on Control Applications (CCA). IEEE , Piscataway, NJ, pp. 1030-1041. ISBN 978-1-5090-0755-4. https://resolver.caltech.edu/CaltechAUTHORS:20161020-140012994

Filippidis, Ioannis and Murray, Richard M. (2016) Symbolic construction of GR(1) contracts for systems with full information. In: 2016 American Control Conference (ACC). IEEE , Piscataway, NJ, pp. 782-789. ISBN 978-1-4673-8680-7. https://resolver.caltech.edu/CaltechAUTHORS:20160801-165143151

Filippidis, Ioannis and Holzmann, Gerard J. (2014) An Improvement of the Piggyback Algorithm for Parallel Model Checking. In: SPIN 2014. ACM , New York, NY, pp. 48-57. ISBN 978-1-4503-2452-6. https://resolver.caltech.edu/CaltechAUTHORS:20140804-125108488

Filippidis, Ioannis and Kyriakopoulos, Kostas J. (2013) Navigation functions for focally admissible surfaces. In: 2013 American Control Conference (ACC). IEEE , Piscataway, NJ, pp. 994-999. ISBN 978-1-4799-0177-7. https://resolver.caltech.edu/CaltechAUTHORS:20131219-093533917

Filippidis, Ioannis and Kyriakopoulos, Kostas J. (2013) Roadmaps using gradient extremal paths. In: 2013 IEEE International Conference on Robotics and Automation (ICRA). IEEE , Piscataway, NJ, pp. 370-375. ISBN 978-1-4673-5641-1. https://resolver.caltech.edu/CaltechAUTHORS:20140724-091440057

Report or Paper

Filippidis, Ioannis and Murray, Richard M. (2017) Hiding variables when decomposing specifications into GR(1) contracts. . (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20200131-145354147

Filippidis, Ioannis and Murray, Richard M. (2016) Formalizing synthesis in TLA+. , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCDSTR:2016.004

Filippidis, Ioannis and Murray, Richard M. (2016) Symbolic construction of GR(1) contracts for systems with full information. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCDSTR:2016.003

Filippidis, Ioannis and Murray, Richard M. (2015) Revisiting the AMBA AHB bus case study. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCDSTR:2015.004

Filippidis, Ioannis and Murray, Richard M. and Holzmann, Gerard J. (2015) Synthesis from multi-paradigm specifications. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCDSTR:2015.003

This list was generated on Fri Jun 5 04:10:46 2020 PDT.