arrow
返回
N

Necmiye Özay

university of michigan

29H指数
285论文数
3.1K被引数
收录论文 31
发表时间
Foreword for ICCPS'24 Special Issue
err2025-11-01
err0
PREAI
errBehl, Madhur; Ozay, Necmiye; Nghiem, Truong
err分享
err收藏
Controlled Invariant Sets: Implicit Closed-Form Representations and Applications
err2024-07-01
err3
errOAAI
errAnevlavis, Tzanis; Liu, Zexiang; Ozay, Necmiye; Tabuada, Paulo
err分享
err收藏
err分享
err收藏
From drinking philosophers to asynchronous path-following robots
err2023-05-01
err0
errOAAI
errSahin, Yunus Emre; Ozay, Necmiye
err分享
err收藏
Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications
err2021-08-01
err5
errOAAI
errMohajerani, Sahar; Malik, Robi; Wintenberg, Andrew; Lafortune, Stephane; Ozay, Necmiye
err分享
err收藏
err分享
err收藏
Passivity-based analysis of sampled and quantized control implementations
err2020-09-01
err3
errOAAI
errXu, Xiangru; Ozay, Necmiye; Gupta, Vijay
err分享
err收藏
Fuel Cell Thermal Management: Modeling, Specifications, and Correct-by-Construction Control Synthesis
err2020-09-01
err9
PREAI
errYang, Liren; Karnik, Amey; Pence, Benjamin; Bin Waez, Md Tawhid; Ozay, Necmiye
err分享
err收藏
Connected and automated road vehicles: state of the art and future challenges
err2020-03-29
err107
PREAI
errErsal, Tulga; Kolmanovsky, Ilya; Masoud, Neda; Ozay, Necmiye; Scruggs, Jeffrey; Vasudevan, Ram; Orosz, Gabor
err分享
err收藏