Stop the war!Остановите войну!
for scientists:
Google
Google Scholar
Semantic Scholar
IA Scholar
CiteSeerX
ORCIDNecmiye Ozay
Necmiye Özay
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[j29]Glen Chou
, Necmiye Ozay, Dmitry Berenson:
Learning temporal logic formulas from suboptimal demonstrations: theory and experiments. Auton. Robots 46(1): 149-174 (2022)- [j28]Liren Yang, Necmiye Ozay:
Scalable Zonotopic Under-Approximation of Backward Reachable Sets for Uncertain Linear Systems. IEEE Control. Syst. Lett. 6: 1555-1560 (2022) - [j27]Andrew Wintenberg, Matthew Blischke, Stéphane Lafortune, Necmiye Ozay:
A general language-based framework for specifying and verifying notions of opacity. Discret. Event Dyn. Syst. 32(2): 253-289 (2022) - [j26]Craig Knuth, Glen Chou, Necmiye Ozay, Dmitry Berenson:
Correction to "Planning With Learned Dynamics: Probabilistic Guarantees on Safety and Reachability Via Lipschitz Constants". IEEE Robotics Autom. Lett. 7(1): 381 (2022) - [j25]Samet Oymak, Necmiye Ozay:
Revisiting Ho-Kalman-Based System Identification: Robustness and Finite-Sample Analysis. IEEE Trans. Autom. Control. 67(4): 1914-1928 (2022) - [j24]Yuxiao Chen, Necmiye Ozay:
Data-Driven Computation of Robust Control Invariant Sets With Concurrent Model Selection. IEEE Trans. Control. Syst. Technol. 30(2): 495-506 (2022) - [c100]Kwesi Rutledge, Necmiye Ozay:
Correct-By-Construction Exploration and Exploitation for Unknown Linear Systems Using Bilinear Optimization. HSCC 2022: 8:1-8:11 - [c99]Zhe Du, Necmiye Ozay, Laura Balzano:
Clustering-based Mode Reduction for Markov Jump Systems. L4DC 2022: 689-701 - [i40]Sunho Jang, Necmiye Ozay, Johanna L. Mathieu:
An Invariant Set Construction Method, Applied to Safe Coordination of Thermostatic Loads. CoRR abs/2202.05887 (2022) - [i39]Zhe Du, Laura Balzano, Necmiye Ozay:
Mode Reduction for Markov Jump Systems. CoRR abs/2205.02697 (2022) - 2021
- [j23]Sahar Mohajerani, Robi Malik, Andrew Wintenberg, Stéphane Lafortune, Necmiye Ozay:
Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications. Autom. 130: 109723 (2021) - [j22]Glen Chou, Dmitry Berenson, Necmiye Ozay:
Learning constraints from demonstrations with grid and parametric representations. Int. J. Robotics Res. 40(10-11) (2021) - [j21]Craig Knuth, Glen Chou, Necmiye Ozay, Dmitry Berenson:
Planning With Learned Dynamics: Probabilistic Guarantees on Safety and Reachability via Lipschitz Constants. IEEE Robotics Autom. Lett. 6(3): 5129-5136 (2021) - [j20]Liren Yang, Necmiye Ozay:
Synthesis-guided Adversarial Scenario Generation for Gray-box Feedback Control Systems with Sensing Imperfections. ACM Trans. Embed. Comput. Syst. 20(5s): 102:1-102:25 (2021) - [c98]Liren Yang, Necmiye Ozay:
Safety Control Synthesis for Systems with Missing Measurements. ADHS 2021: 97-102 - [c97]Zexiang Liu, Necmiye Ozay:
Safe Online Planning in Unknown Nonconvex Environments with Implicit Controlled Invariant Sets. ADHS 2021: 163-168 - [c96]Zexiang Liu, Necmiye Ozay:
On the Value of Preview Information For Safety Control. ACC 2021: 2348-2354 - [c95]Sunho Jang, Necmiye Ozay, Johanna L. Mathieu:
Large-Scale Invariant Sets for Safe Coordination of Thermostatic Loads. ACC 2021: 4163-4170 - [c94]Tzanis Anevlavis, Zexiang Liu, Necmiye Ozay, Paulo Tabuada:
An enhanced hierarchy for (robust) controlled invariance. ACC 2021: 4860-4865 - [c93]Daphna Raz, Edgar A. Bolívar-Nieto, Necmiye Ozay, Robert D. Gregg:
Toward Phase-Variable Control of Sit-to-Stand Motion with a Powered Knee-Ankle Prosthesis. CCTA 2021: 627-633 - [c92]Andrew Wintenberg, Matthew Blischke, Stéphane Lafortune, Necmiye Ozay:
Enforcement of K-Step Opacity with Edit Functions. CDC 2021: 331-338 - [c91]Zexiang Liu, Tzanis Anevlavis, Necmiye Ozay, Paulo Tabuada:
Automaton-based Implicit Controlled Invariant Set Computation for Discrete-Time Linear Systems. CDC 2021: 1112-1119 - [c90]Antoine Aspeel, Kwesi Rutledge, Raphaël M. Jungers, Benoît Macq, Necmiye Özay:
Optimal Control for Linear Networked Control Systems with Information Transmission Constraints. CDC 2021: 1960-1967 - [c89]Glen Chou, Necmiye Ozay, Dmitry Berenson:
Model Error Propagation via Learned Contraction Metrics for Safe Feedback Motion Planning of Unknown Systems. CDC 2021: 3576-3583 - [c88]Necmiye Ozay:
A fresh look at some classical system identification methods. CISS 2021: 1 - [c87]Kwesi J. Rutledge, Glen Chou, Necmiye Ozay:
Compositional safety rules for inter-triggering hybrid automata. HSCC 2021: 4:1-4:11 - [c86]Danny Weyns, Bradley R. Schmerl, Masako Kishida, Alberto Leva, Marin Litoiu, Necmiye Ozay, Colin Paterson, Kenji Tei:
Towards Better Adaptive Systems by Combining MAPE, Control Theory, and Machine Learning. SEAMS@ICSE 2021: 217-223 - [c85]Craig Knuth, Glen Chou, Necmiye Ozay, Dmitry Berenson:
Inferring Obstacles and Path Validity from Visibility-Constrained Demonstrations. WAFR 2021: 18-36 - [e2]Raphaël M. Jungers, Necmiye Ozay, Alessandro Abate:
7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021. IFAC-PapersOnLine 54(5), Elsevier 2021 [contents] - [i38]Andrew Wintenberg, Matthew Blischke, Stéphane Lafortune, Necmiye Ozay:
A General Language-Based Framework for Specifying and Verifying Notions of Opacity. CoRR abs/2103.10501 (2021) - [i37]Zexiang Liu, Necmiye Ozay:
On the Value of Preview Information For Safety Control. CoRR abs/2103.10625 (2021) - [i36]Danny Weyns, Bradley R. Schmerl, Masako Kishida, Alberto Leva, Marin Litoiu, Necmiye Ozay, Colin Paterson, Kenji Tei:
Towards Better Adaptive Systems by Combining MAPE, Control Theory, and Machine Learning. CoRR abs/2103.10847 (2021) - [i35]Glen Chou, Necmiye Ozay, Dmitry Berenson:
Model Error Propagation via Learned Contraction Metrics for Safe Feedback Motion Planning of Unknown Systems. CoRR abs/2104.08695 (2021) - [i34]Zhe Du, Yahya Sattar, Davoud Ataee Tarzanagh, Laura Balzano, Samet Oymak, Necmiye Ozay:
Certainty Equivalent Quadratic Control for Markov Jump Systems. CoRR abs/2105.12358 (2021) - [i33]Liren Yang, Necmiye Ozay:
Scalable Zonotopic Under-approximation of Backward Reachable Sets for Uncertain Linear Systems. CoRR abs/2107.01724 (2021) - [i32]Tzanis Anevlavis, Zexiang Liu, Necmiye Ozay, Paulo Tabuada:
Controlled invariant sets: implicit closed-form representations and applications. CoRR abs/2107.08566 (2021) - [i31]Liren Yang, Necmiye Ozay:
Synthesis-guided Adversarial Scenario Generation for Gray-box Feedback Control Systems with Sensing Imperfections. CoRR abs/2107.11667 (2021) - [i30]Antoine Aspeel, Kwesi Rutledge, Raphaël M. Jungers, Benoît Macq, Necmiye Ozay:
Optimal Control for Linear Networked Control Systems with Information Transmission Constraints. CoRR abs/2109.10666 (2021) - [i29]Zexiang Liu, Tzanis Anevlavis, Necmiye Ozay, Paulo Tabuada:
Automaton-based Implicit Controlled Invariant Set Computation for Discrete-Time Linear Systems. CoRR abs/2109.12378 (2021) - [i28]Yahya Sattar, Zhe Du, Davoud Ataee Tarzanagh, Laura Balzano, Necmiye Ozay, Samet Oymak:
Identification and Adaptive Control of Markov Jump Systems: Sample Complexity and Regret Bounds. CoRR abs/2111.07018 (2021) - 2020
- [j19]Xiangru Xu, Necmiye Ozay, Vijay Gupta:
Passivity-based analysis of sampled and quantized control implementations. Autom. 119: 109064 (2020) - [j18]Glen Chou, Necmiye Ozay, Dmitry Berenson:
Learning Constraints From Locally-Optimal Demonstrations Under Cost Function Uncertainty. IEEE Robotics Autom. Lett. 5(2): 3682-3690 (2020) - [j17]Petter Nilsson, Necmiye Ozay:
Control Synthesis for Permutation-Symmetric High-Dimensional Systems With Counting Constraints. IEEE Trans. Autom. Control. 65(2): 461-476 (2020) - [j16]Liren Yang, Amey Y. Karnik, Benjamin Pence, Md Tawhid Bin Waez, Necmiye Ozay:
Fuel Cell Thermal Management: Modeling, Specifications, and Correct-by-Construction Control Synthesis. IEEE Trans. Control. Syst. Technol. 28(5): 1638-1651 (2020) - [j15]Yunus Emre Sahin, Petter Nilsson, Necmiye Ozay:
Multirobot Coordination With Counting Temporal Logics. IEEE Trans. Robotics 36(4): 1189-1206 (2020) - [c84]Zexiang Liu, Liren Yang, Necmiye Ozay:
Scalable Computation of Controlled Invariant Sets for Discrete-Time Linear Systems with Input Delays. ACC 2020: 4722-4728 - [c83]Liren Yang, Denise M. Rizzo, Matthew P. Castanier, Necmiye Ozay:
Parameter Sensitivity Analysis of Controlled Invariant Sets via Value Iteration. ACC 2020: 4737-4744 - [c82]Michael Arwashan, Tiancheng Ge, Zexiang Liu, Necmiye Ozay:
Driving with guardian: Blending user inputs with safety ensuring barriers. CCTA 2020: 326-333 - [c81]Liren Yang, Necmiye Ozay:
Efficient Safety Control Synthesis with Imperfect State Information. CDC 2020: 874-880 - [c80]Andrew Wintenberg, Necmiye Ozay:
Implicit Invariant Sets for High-Dimensional Switched Affine Systems. CDC 2020: 3291-3297 - [c79]Glen Chou, Dmitry Berenson, Necmiye Ozay:
Uncertainty-Aware Constraint Learning for Adaptive Safe Motion Planning from Demonstrations. CoRL 2020: 1612-1639 - [c78]Kwesi J. Rutledge, Necmiye Ozay:
Belief-prefix Control for Autonomously Dodging Switching Disturbances. ECC 2020: 966-972 - [c77]Rupak Majumdar, Necmiye Ozay, Anne-Kathrin Schmuck:
On abstraction-based controller design with output feedback. HSCC 2020: 15:1-15:11 - [c76]Necmiye Ozay:
Inter-triggering hybrid automata: a formalism for responsibility-sensitive safety. HSCC 2020: 32:1-32:2 - [c75]Glen Chou, Necmiye Ozay, Dmitry Berenson:
Explaining Multi-stage Tasks by Learning Temporal Logic Formulas from Suboptimal Demonstrations. Robotics: Science and Systems 2020 - [i27]Yunus Emre Sahin, Necmiye Ozay:
From Drinking Philosophers to Wandering Robots. CoRR abs/2001.00440 (2020) - [i26]Glen Chou, Necmiye Ozay, Dmitry Berenson:
Learning Constraints from Locally-Optimal Demonstrations under Cost Function Uncertainty. CoRR abs/2001.09336 (2020) - [i25]Rupak Majumdar, Necmiye Ozay, Anne-Kathrin Schmuck:
On Abstraction-Based Controller Design With Output Feedback. CoRR abs/2002.02687 (2020) - [i24]Zexiang Liu, Liren Yang, Necmiye Ozay:
Scalable Computation of Controlled Invariant Sets for Discrete-Time Linear Systems with Input Delays. CoRR abs/2003.04953 (2020) - [i23]Craig Knuth, Glen Chou, Necmiye Ozay, Dmitry Berenson:
Inferring Obstacles and Path Validity from Visibility-Constrained Demonstrations. CoRR abs/2005.05421 (2020) - [i22]Glen Chou, Necmiye Ozay, Dmitry Berenson:
Explaining Multi-stage Tasks by Learning Temporal Logic Formulas from Suboptimal Demonstrations. CoRR abs/2006.02411 (2020) - [i21]Craig Knuth, Glen Chou, Necmiye Ozay, Dmitry Berenson:
Planning with Learned Dynamics: Guaranteed Safety and Reachability via Lipschitz Constants. CoRR abs/2010.08993 (2020) - [i20]Glen Chou, Necmiye Ozay, Dmitry Berenson:
Uncertainty-Aware Constraint Learning for Adaptive Safe Motion Planning from Demonstrations. CoRR abs/2011.04141 (2020)
2010 – 2019
- 2019
- [j14]Liren Yang, Oscar Mickelin, Necmiye Ozay:
On Sufficient Conditions for Mixed Monotonicity. IEEE Trans. Autom. Control. 64(12): 5080-5085 (2019) - [c74]Liren Yang, Xiaofan Cui, Al-Thaddeus Avestruz, Necmiye Ozay:
Correct-by-construction control synthesis for buck converters with event-triggered state measurement. ACC 2019: 1056-1063 - [c73]Stephanie C. Ross, Petter Nilsson, Necmiye Ozay, Johanna L. Mathieu:
Managing Voltage Excursions on the Distribution Network by Limiting the Aggregate Variability of Thermostatic Loads. ACC 2019: 4260-4267 - [c72]Kwesi J. Rutledge, Sze Zheng Yong, Necmiye Ozay:
Prefix-based Bounded-error Estimation with Intermittent Observations. ACC 2019: 4320-4325 - [c71]Samet Oymak, Necmiye Ozay:
Non-asymptotic Identification of LTI Systems from a Single Trajectory. ACC 2019: 5655-5661 - [c70]Zhe Du, Necmiye Ozay, Laura Balzano:
Mode Clustering for Markov Jump Systems. CAMSAP 2019: 126-130 - [c69]Yunus Emre Sahin, Zexiang Liu, Kwesi J. Rutledge, Dimitra Panagou, Sze Zheng Yong, Necmiye Ozay:
Intention-Aware Supervisory Control with Driving Safety Applications. CCTA 2019: 1-8 - [c68]Liren Yang, Amey Katnik, Necmiye Ozay:
Quickly Finding Recursively Feasible Solutions for MPC with Discrete Variables. CCTA 2019: 374-381 - [c67]Zexiang Liu, Necmiye Ozay:
Safety Control with Preview Automaton. CDC 2019: 1557-1564 - [c66]Liren Yang, Necmiye Ozay:
Tight decomposition functions for mixed monotonicity. CDC 2019: 5318-5322 - [c65]Liren Yang, Necmiye Ozay:
Fault Detectability Analysis of Switched Affine Systems with Linear Temporal Logic Constraints. CDC 2019: 5779-5786 - [c64]Glen Chou, Necmiye Ozay, Dmitry Berenson:
Learning Parametric Constraints in High Dimensions from Demonstrations. CoRL 2019: 1211-1230 - [c63]Vishnu S. Chipade, Qiang Shen, Lixing Huang, Necmiye Ozay, Sze Zheng Yong, Dimitra Panagou:
Safe Autonomous Overtaking with Intention Estimation. ECC 2019: 2050-2057 - [c62]Kwesi J. Rutledge, Sze Zheng Yong, Necmiye Ozay:
Equalized recovery: Weakening invariance for control and estimation: poster abstract. HSCC 2019: 276-277 - [c61]Liren Yang, Necmiye Ozay:
Combining LTL monitoring with model invalidation for improved fault detectability analysis for hybrid systems: poster abstract. HSCC 2019: 278-279 - [c60]Zexiang Liu, Necmiye Ozay:
Safety control with preview automaton: poster abstract. HSCC 2019: 280-281 - [e1]Necmiye Ozay, Pavithra Prabhakar:
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019. ACM 2019, ISBN 978-1-4503-6282-5 [contents] - [i19]Liren Yang, Xiaofan Cui, Al-Thaddeus Avestruz, Necmiye Ozay:
Correct-by-construction control synthesis for buck converters with event-triggered state measurement. CoRR abs/1903.05275 (2019) - [i18]Zexiang Liu, Necmiye Ozay:
Safety Control with Preview Automaton. CoRR abs/1907.04935 (2019) - [i17]Zhe Du, Necmiye Ozay, Laura Balzano:
Mode Clustering for Markov Jump Systems. CoRR abs/1910.02193 (2019) - [i16]Glen Chou, Necmiye Ozay, Dmitry Berenson:
Learning Parametric Constraints in High Dimensions from Demonstrations. CoRR abs/1910.03477 (2019) - 2018
- [j13]Farshad Harirchi, Necmiye Ozay:
Guaranteed model-based fault detection in cyber-physical systems: A model invalidation approach. Autom. 93: 476-488 (2018) - [j12]Glen Chou, Yunus Emre Sahin, Liren Yang, Kwesi J. Rutledge, Petter Nilsson, Necmiye Ozay:
Using Control Synthesis to Generate Corner Cases: A Case Study on Autonomous Driving. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(11): 2906-2917 (2018) - [j11]Chaozhe R. He, Wubing B. Qin, Necmiye Ozay, Gábor Orosz:
Optimal Gear Shift Schedule Design for Automated Vehicles: Hybrid System Based Analytical Approach. IEEE Trans. Control. Syst. Technol. 26(6): 2078-2090 (2018) - [c59]Oscar Lindvall Bulancea, Petter Nilsson, Necmiye Ozay:
Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings. ADHS 2018: 19-24 - [c58]Kwesi J. Rutledge, Sze Zheng Yong, Necmiye Ozay:
Optimization-Based Design of Bounded-Error Estimators Robust to Missing Data. ADHS 2018: 157-162 - [c57]Kanishka Raj Singh, Yuhao Ding, Necmiye Ozay, Sze Zheng Yong:
Input Design for Nonlinear Model Discrimination via Affine Abstraction. ADHS 2018: 175-180 - [c56]Sze Zheng Yong, Necmiye Ozay:
Discrete State Estimation with Persistent Sensor Faults and Non-Persistent Noise via Noisy Bayesian Active Diagnosis. ACC 2018: 313-320 - [c55]Liren Yang, Necmiye Ozay:
Fault-Tolerant Output-Feedback Path Planning with Temporal Logic Constraints. CDC 2018: 4032-4039 - [c54]Yuxiao Chen, Huei Peng, Jessy W. Grizzle, Necmiye Ozay:
Data-Driven Computation of Minimal Robust Control Invariant Set. CDC 2018: 4052-4058 - [c53]Supratim Ghosh, Mustafa Kara, Necmiye Ozay:
Structural Detectability of Faults in Discrete-Time Affine Systems. CDC 2018: 6359-6365 - [c52]Yunus Emre Sahin, Necmiye Ozay, Stavros Tripakis:
Multi-agent Coordination Subject to Counting Constraints: A Hierarchical Approach. DARS 2018: 265-281 - [c51]Yuhao Ding, Farshad Harirchi, Sze Zheng Yong, Emil Jacobsen, Necmiye Ozay:
Optimal input design for affine model discrimination with applications in intention-aware vehicles. ICCPS 2018: 297-307 - [c50]Glen Chou, Dmitry Berenson, Necmiye Ozay:
Learning Constraints from Demonstrations. WAFR 2018: 228-245 - [i15]Liren Yang, Oscar Mickelin, Necmiye Ozay:
On sufficient conditions for mixed monotonicity. CoRR abs/1803.04528 (2018) - [i14]Oscar Lindvall Bulancea, Petter Nilsson, Necmiye Ozay:
Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings. CoRR abs/1804.04280 (2018) - [i13]Zhe Du, Necmiye Ozay, Laura Balzano:
A Robust Algorithm for Online Switched System Identification. CoRR abs/1805.01111 (2018) - [i12]Samet Oymak, Necmiye Ozay:
Non-asymptotic Identification of LTI Systems from a Single Trajectory. CoRR abs/1806.05722 (2018) - [i11]Glen Chou, Yunus Emre Sahin, Liren Yang, Kwesi J. Rutledge, Petter Nilsson, Necmiye Ozay:
Using control synthesis to generate corner cases: A case study on autonomous driving. CoRR abs/1807.09537 (2018) - [i10]Xiangru Xu, Necmiye Ozay, Vijay Gupta:
Passivity-Based Analysis of Sampled and Quantized Control Implementations. CoRR abs/1810.11950 (2018) - [i9]Yunus Emre Sahin, Petter Nilsson, Necmiye Ozay:
Multirobot Coordination with Counting Temporal Logics. CoRR abs/1810.13087 (2018) - [i8]Glen Chou, Dmitry Berenson, Necmiye Ozay:
Learning Constraints from Demonstrations. CoRR abs/1812.07084 (2018) - 2017
- [j10]Necmiye Ozay, Paulo Tabuada:
Guest editorial: special issue on formal methods in control. Discret. Event Dyn. Syst. 27(2): 205-208 (2017) - [j9]Petter Nilsson, Necmiye Ozay, Jun Liu:
Augmented finite transition systems as abstractions for control synthesis. Discret. Event Dyn. Syst. 27(2): 301-340 (2017) - [c49]Liren Yang, Amey Y. Karnik, Benjamin Pence, Md Tawhid Bin Waez, Necmiye Ozay:
Fuel cell thermal management: Modeling, specifications and correct-by-construction control synthesis. ACC 2017: 1839-1846 - [c48]Sze Zheng Yong, Lingyun Gao, Necmiye Ozay:
Weak adaptive submodularity and group-based active diagnosis with applications to state estimation with persistent sensor faults. ACC 2017: 2574-2581 - [c47]Yunus Emre Sahin, Petter Nilsson, Necmiye Ozay:
Synchronous and asynchronous multi-agent coordination with cLTL+ constraints. CDC 2017: 335-342 - [c46]Liren Yang, Necmiye Ozay:
Provably-correct fault tolerant control with delayed information. CDC 2017: 542-549 - [c45]Petter Nilsson, Necmiye Ozay:
Maximizing the time of invariance for large collections of switched systems. CDC 2017: 3618-3625 - [c44]Farshad Harirchi, Sze Zheng Yong, Necmiye Ozay:
Guaranteed fault detection and isolation for switched affine models. CDC 2017: 5161-5167 - [c43]Petter Nilsson, Necmiye Ozay:
On a Class of Maximal Invariance Inducing Control Strategies for Large Collections of Switched Systems. HSCC 2017: 187-196 - [c42]Yunus Emre Sahin, Petter Nilsson, Necmiye Ozay:
Provably-correct coordination of large collections of agents with counting temporal logic constraints. ICCPS 2017: 249-258 - [i7]Sze Zheng Yong, Lingyun Gao, Necmiye Ozay:
Weak Adaptive Submodularity and Group-Based Active Diagnosis with Applications to State Estimation with Persistent Sensor Faults. CoRR abs/1701.06731 (2017) - [i6]Emil Jacobsen, Farshad Harirchi, Sze Zheng Yong, Necmiye Ozay:
Optimal Input Design for Affine Model Discrimination with Applications in Intention-Aware Vehicles. CoRR abs/1702.01112 (2017) - [i5]Petter Nilsson, Necmiye Ozay:
Control Synthesis for High-Dimensional Systems With Counting Constraints. CoRR abs/1706.07863 (2017) - 2016
- [j8]Sweewarman Balachandran, Necmiye Ozay, Ella M. Atkins:
Verification Guided Refinement of Flight Safety Assessment and Management System for Takeoff. J. Aerosp. Inf. Syst. 13(9): 357-369 (2016) - [j7]Petter Nilsson, Omar Hussien, Ayca Balkan, Yuxiao Chen, Aaron D. Ames, Jessy W. Grizzle, Necmiye Ozay, Huei Peng, Paulo Tabuada:
Correct-by-Construction Adaptive Cruise Control: Two Approaches. IEEE Trans. Control. Syst. Technol. 24(4): 1294-1307 (2016) - [c41]Ioannis Filippidis, Sumanth Dathathri, Scott C. Livingston, Necmiye Ozay, Richard M. Murray:
Control design for hybrid systems with TuLiP: The Temporal Logic Planning toolbox. CCA 2016: 1030-1041 - [c40]