CaltechAUTHORS
  A Caltech Library Service

Items where Person is "Ozay-N"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type | First Author | No Grouping
Jump to: 2018 | 2016 | 2014 | 2013 | 2012 | 2011
Number of items: 21.

2018

Chou, Glen and Sahin, Yunus Emre and Yang, Liren et al. (2018) Using Control Synthesis to Generate Corner Cases: A Case Study on Autonomous Driving. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 37 (11). pp. 2906-2917. ISSN 0278-0070. https://resolver.caltech.edu/CaltechAUTHORS:20181023-110348243

Lindvall Bulancea, Oscar and Nilsson, Peter and Ozay, Necmiye (2018) Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings. IFAC-PapersOnLine, 51 (16). pp. 19-24. ISSN 2405-8963. https://resolver.caltech.edu/CaltechAUTHORS:20180912-145508798

2016

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

2014

Rogersten, Robert and Xu, Huan and Ozay, Necmiye et al. (2014) Control Software Synthesis and Validation for a Vehicular Electric Power Distribution Testbed. Journal of Aerospace Information Systems, 11 (10). pp. 665-678. ISSN 1940-3151. https://resolver.caltech.edu/CaltechAUTHORS:20150202-112319257

Nuzzo, Pierluigi and Xu, Huan and Ozay, Necmiye et al. (2014) A Contract-Based Methodology for Aircraft Electric Power System Design. IEEE Access, 2 . pp. 1-25. ISSN 2169-3536. https://resolver.caltech.edu/CaltechAUTHORS:20170524-161850962

2013

Maillet, Quentin and Xu, Huan and Ozay, Necmiye et al. (2013) Dynamic state estimation in distributed aircraft electric control systems via adaptive submodularity. In: 52nd IEEE Conference on Decision and Control. IEEE , Piscataway, NJ, pp. 5497-5503. ISBN 978-1-4673-5714-2. https://resolver.caltech.edu/CaltechAUTHORS:20190327-160859814

Liu, Jun and Ozay, Necmiye and Topcu, Ufuk et al. (2013) Synthesis of Reactive Switching Protocols From Temporal Logic Specifications. IEEE Transactions on Automatic Control, 58 (7). pp. 1771-1785. ISSN 0018-9286. https://resolver.caltech.edu/CaltechAUTHORS:20130802-112333498

Ozay, Necmiye and Liu, Jun and Prabhakar, Pavithra et al. (2013) Computing augmented finite transition systems to synthesize switching protocols for polynomial switched systems. In: 2013 American Control Conference (ACC). IEEE , Piscataway, NJ, pp. 6237-6244. ISBN 978-1-4799-0177-7. https://resolver.caltech.edu/CaltechAUTHORS:20131219-094019593

Rogersten, Robert and Xu, Huan and Ozay, Necmiye et al. (2013) An aircraft electric power testbed for validating automatically synthesized reactive control protocols. In: Proceedings of the 16th international conference on Hybrid systems: computation and control. Association for Computing Machinery , New York, NY, pp. 89-94. ISBN 978-1-4503-1567-8. https://resolver.caltech.edu/CaltechAUTHORS:20130719-105708428

Rogersten, Robert and Xu, Huan and Ozay, Necmiye et al. (2013) An Aircraft Electric Power Testbed for Validating Automatically Synthesized Reactive Control Protocols. . (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20130115-094546873

2012

Liu, Jun and Topcu, Ufuk and Ozay, Necmiye et al. (2012) Reactive controllers for differentially flat systems with temporal logic constraints. In: 2012 IEEE 51st IEEE Conference on Decision and Control (CDC). IEEE , Piscataway, NJ, pp. 7664-7670. ISBN 978-1-4673-2066-5. https://resolver.caltech.edu/CaltechAUTHORS:20170201-163148693

Cheng, Y. and Wang, Y. and Sznaier, M. et al. (2012) A convex optimization approach to model (in)validation of switched ARX systems with unknown switches. In: IEEE 51st IEEE Conference on Decision and Control (CDC). IEEE , Piscataway, NJ, pp. 6284-6290. ISBN 978-1-4673-2066-5. https://resolver.caltech.edu/CaltechAUTHORS:20170207-174716284

Liu, Jun and Ozay, Necmiye and Topcu, Ufuk et al. (2012) Switching protocol synthesis for temporal logic specifications. In: 2012 American Control Conference (ACC). IEEE , Piscataway, NJ, pp. 727-734. ISBN 978-1-4577-1095-7. https://resolver.caltech.edu/CaltechAUTHORS:20121009-105532954

Topcu, Ufuk and Ozay, Necmiye and Liu, Jun et al. (2012) On synthesizing robust discrete controllers under modeling uncertainty. In: Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control. Association for Computing Machinery , New York, NY, pp. 85-94. ISBN 978-1-4503-1220-2. https://resolver.caltech.edu/CaltechAUTHORS:20120620-095640251

Ozay, Necmiye and Sznaier, Mario and Lagoa, Constantino M. et al. (2012) A Sparsification Approach to Set Membership Identification of Switched Affine Systems. IEEE Transactions on Automatic Control, 57 (3). pp. 634-648. ISSN 0018-9286. https://resolver.caltech.edu/CaltechAUTHORS:20120402-084304623

2011

Ayazoglu, Mustafa and Sznaier, Mario and Ozay, Necmiye (2011) Blind identification of sparse dynamic networks and applications. In: IEEE Conference on Decision and Control and European Control Conference. IEEE , Piscataway, NJ, pp. 2944-2950. ISBN 978-1-61284-801-3. https://resolver.caltech.edu/CaltechAUTHORS:20170306-165755539

Ozay, Necmiye and Topcu, Ufuk and Murray, Richard M. (2011) Distributed power allocation for vehicle management systems. In: 2011 50th IEEE Conference on Decision and Control and European Control Conference. IEEE , Piscataway, NJ, pp. 4841-4848. ISBN 9781612848013. https://resolver.caltech.edu/CaltechAUTHORS:20190326-141247417

Feng, C. and Ozay, N. and Lagoa, C. M. et al. (2011) Identification and model (in)validation of switched ARX systems: A moment-based approach. In: Linear Parameter-Varying System Identification: New Developments and Trends. Advanced Series in Electrical and Computer Engineering. No.14. World Scientific Publishing Co. , Hackensack, NJ, pp. 347-379. ISBN 978-981-4355-44-5. https://resolver.caltech.edu/CaltechAUTHORS:20120702-094932621

Liu, Jun and Ozay, Necmiye and Topcu, Ufuk et al. (2011) Synthesis of Switching Protocols from Temporal Logic Specifications. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCDSTR:2011.006

Ozay, Necmiye and Topcu, Ufuk and Murray, Richard M. et al. (2011) Distributed Synthesis of Control Protocols for Smart Camera Networks. In: 2011 IEEE/ACM Second International Conference on Cyber-Physical Systems. IEEE , Piscataway, NJ, pp. 45-54. ISBN 9781612846408. https://resolver.caltech.edu/CaltechAUTHORS:20190326-141247744

Wongpiromsarn, Tichakorn and Topcu, Ufuk and Ozay, Necmiye et al. (2011) TuLiP: a software toolbox for receding horizon temporal logic planning. In: Proceedings of the 14th international conference on Hybrid systems: computation and control. Association for Computing Machinery (ACM) , New York, NY, pp. 313-314. ISBN 978-1-4503-0629-4. https://resolver.caltech.edu/CaltechAUTHORS:20120522-084524685

This list was generated on Wed Apr 1 05:49:54 2020 PDT.