Natasha A. Neogi

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 11

Top Topics

Design Methodologies

Decentralized Control

Design Processes

Traffic Management

Top Venues

FMAS/ASYDE@SEFM

Publications

Mohammed Abdul Hafeez Khan, Parth Ganeriwala, Siddhartha Bhattacharyya, Natasha A. Neogi, Raja Muthalagu
ALINA: Advanced Line Identification and Notation Algorithm. CoRR (2024)
Parth Ganeriwala, Siddhartha Bhattacharyya, Sean Gunther, Brian Kish, Mohammed Abdul Hafeez Khan, Ankur Dhadoti, Natasha A. Neogi
AssistTaxi: A Comprehensive Dataset for Taxiway Analysis and Autonomous Operations. ICMLA (2023)
Surya Murthy, Natasha A. Neogi, Suda Bharadwaj
Scheduling for Urban Air Mobility using Safe Learning. FMAS/ASYDE@SEFM (2022)
Natasha A. Neogi, Siddhartha Bhattacharyya, Daniel Griessler, Harshitha Kiran, Marco M. Carvalho
Assuring Intelligent Systems: Contingency Management for UAS. IEEE Trans. Intell. Transp. Syst. 22 (9) (2021)
Suda Bharadwaj, Steven Carr, Natasha A. Neogi, Ufuk Topcu
Decentralized Control Synthesis for Air Traffic Management in Urban Air Mobility. IEEE Trans. Control. Netw. Syst. 8 (2) (2021)
Milton Stafford, Siddhartha Bhattacharyya, Matthew Clark, Natasha A. Neogi, Thomas C. Eskridge
Assurance for Integrating Advanced Algorithms in Autonomous Safety-Critical Systems. IEEE Syst. J. 15 (4) (2021)
Suda Bharadwaj, Tichakorn Wongpiromsarn, Natasha A. Neogi, Joseph Muffoletto, Ufuk Topcu
Minimum-Violation Traffic Management for Urban Air Mobility. NFM (2021)
Milton Stafford, Siddhartha Bhattacharyya, Matthew Clark, Natasha A. Neogi
Formal Compositional Reasoning of Autonomous Aerial Systems with Complex Algorithms. SysCon (2020)
Irene M. Gregory, Newton H. Campbell, Natasha A. Neogi, Jon B. Holbrook, Jared A. Grauer, Barton J. Bacon, Patrick C. Murphy, Daniel D. Moerder, Benjamin M. Simmons, Michael J. Acheson, Thomas C. Britton, Jacob W. Cook
Intelligent Contingency Management for Urban Air Mobility. DDDAS (2020)
Suda Bharadwaj, Steven Carr, Natasha A. Neogi, Hasan Poonawala, Alejandro Barberia Chueca, Ufuk Topcu
Traffic Management for Urban Air Mobility. NFM (2019)
Siddhartha Bhattacharyya, Thomas C. Eskridge, Natasha A. Neogi, Marco M. Carvalho, Milton Stafford
Formal Assurance for Cooperative Intelligent Autonomous Agents. NFM (2018)
Solomon Gebreyohannes, William W. Edmonson, Jules Chenou, Natasha A. Neogi, Albert C. Esterline
Formal requirement management for the Responsive and Formal Design process. ISSE (2015)
Jules Chenou, William W. Edmonson, Albert C. Esterline, Natasha A. Neogi
Formal Framework for Ensuring Consistent System and Component Theories in the Design of Small Satellite Systems. CSDM (Posters) (2014)
William W. Edmonson, Jules Chenou, Natasha A. Neogi, Heber Herencia-Zapana
Small satellite systems design methodology: A formal and agile design process. SysCon (2014)
Natasha A. Neogi, Heber Herencia-Zapana
Modular Methods for Verification and Validation of Air Traffic Control Algorithms. Infotech@Aerospace (2012)
Romain Jobredeaux, Heber Herencia-Zapana, Natasha A. Neogi, Eric Feron
Developing proof carrying code to formally assure termination in fault tolerant distributed controls systems. CDC (2012)
Luc Bojanowski, Dimitri Harikiopoulo, Natasha A. Neogi
Multi-runway aircraft sequencing at congested airports. ACC (2011)
Dimitri Harikiopoulo, Natasha A. Neogi
Polynomial-Time Feasibility Condition for Multiclass Aircraft Sequencing on a Single-Runway Airport. IEEE Trans. Intell. Transp. Syst. 12 (1) (2011)
Daniel Uhlig, Negar Kiyavash, Natasha A. Neogi
Distributed triangulation in the presence faulty and byzantine beacons in aircraft networks with ADS-B technology. ACC (2009)
Natasha A. Neogi, Cédric Langbort
Partitioning and the online-world design problem for multi-player games. ACC (2008)
Shengxiang Jiang, Petros G. Voulgaris, Natasha A. Neogi
Failure-robust distributed controller architectures. Int. J. Control 80 (9) (2007)
Shengxiang Jiang, Petros G. Voulgaris, Natasha A. Neogi
Distributed Control over Structured and Lossy Networks. ACC (2007)
Natasha A. Neogi, Asal Naseri
Using Hidden Markov Models to Detect Mode Changes in Aircraft Flight Data for Conflict Resolution. SMC (2006)
Natasha A. Neogi
Dynamic Partitioning of Large Discrete Event Biological Systems for Hybrid Simulation and Analysis. HSCC (2004)
Natasha A. Neogi
Utilizing the structure of safety properties to aid in the verification of hybrid controllers. ACC (2004)