Natasha A. Neogi

According to our database, Natasha A. Neogi authored at least 24 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

AssistTaxi: A Comprehensive Dataset for Taxiway Analysis and Autonomous Operations.

Parth Ganeriwala, Siddhartha Bhattacharyya, Sean Gunther, Brian Kish, Mohammed Abdul Hafeez Khan, Ankur Dhadoti, Natasha A. Neogi

Proceedings of the International Conference on Machine Learning and Applications, 2023

2022

Scheduling for Urban Air Mobility using Safe Learning.

Surya Murthy, Natasha A. Neogi, Suda Bharadwaj

Proceedings of the Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), 2022

2021

Assuring Intelligent Systems: Contingency Management for UAS.

Natasha A. Neogi, Siddhartha Bhattacharyya, Daniel Griessler, Harshitha Kiran, Marco M. Carvalho

IEEE Trans. Intell. Transp. Syst., 2021

Decentralized Control Synthesis for Air Traffic Management in Urban Air Mobility.

Suda Bharadwaj, Steven Carr, Natasha A. Neogi, Ufuk Topcu

IEEE Trans. Control. Netw. Syst., 2021

Assurance for Integrating Advanced Algorithms in Autonomous Safety-Critical Systems.

Milton Stafford, Siddhartha Bhattacharyya, Matthew Clark, Natasha A. Neogi, Thomas C. Eskridge

IEEE Syst. J., 2021

Minimum-Violation Traffic Management for Urban Air Mobility.

Suda Bharadwaj, Tichakorn Wongpiromsarn, Natasha A. Neogi, Joseph Muffoletto, Ufuk Topcu

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

2020

Formal Compositional Reasoning of Autonomous Aerial Systems with Complex Algorithms.

Milton Stafford, Siddhartha Bhattacharyya, Matthew Clark, Natasha A. Neogi

Proceedings of the IEEE International Systems Conference, 2020

Intelligent Contingency Management for Urban Air Mobility.

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

Proceedings of the Dynamic Data Driven Applications Systems, 2020

2019

Traffic Management for Urban Air Mobility.

Suda Bharadwaj, Steven Carr, Natasha A. Neogi, Hasan Poonawala, Alejandro Barberia Chueca, Ufuk Topcu

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

2018

Formal Assurance for Cooperative Intelligent Autonomous Agents.

Siddhartha Bhattacharyya, Thomas C. Eskridge, Natasha A. Neogi, Marco M. Carvalho, Milton Stafford

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

2015

Formal requirement management for the Responsive and Formal Design process.

Solomon Gebreyohannes, William W. Edmonson, Jules Chenou, Natasha A. Neogi, Albert C. Esterline

Proceedings of the IEEE International Symposium on Systems Engineering, 2015

2014

Small satellite systems design methodology: A formal and agile design process.

William W. Edmonson, Jules Chenou, Natasha A. Neogi, Heber Herencia-Zapana

Proceedings of the IEEE International Systems Conference, 2014

Formal Framework for Ensuring Consistent System and Component Theories in the Design of Small Satellite Systems.

Jules Chenou, William W. Edmonson, Albert C. Esterline, Natasha A. Neogi

Proceedings of the Poster Workshop at the 2014 Complex Systems Design & Management International Conference co-located with 5th International Conference on Complex System Design & Management (CSD&M 2014), 2014

2012

Modular Methods for Verification and Validation of Air Traffic Control Algorithms.

Natasha A. Neogi, Heber Herencia-Zapana

Proceedings of the Infotech@Aerospace 2012, 2012

Developing proof carrying code to formally assure termination in fault tolerant distributed controls systems.

Romain Jobredeaux, Heber Herencia-Zapana, Natasha A. Neogi, Eric Feron

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

2011

Polynomial-Time Feasibility Condition for Multiclass Aircraft Sequencing on a Single-Runway Airport.

Dimitri Harikiopoulo, Natasha A. Neogi

IEEE Trans. Intell. Transp. Syst., 2011

Multi-runway aircraft sequencing at congested airports.

Luc Bojanowski, Dimitri Harikiopoulo, Natasha A. Neogi

Proceedings of the American Control Conference, 2011

2009

Distributed triangulation in the presence faulty and byzantine beacons in aircraft networks with ADS-B technology.

Daniel Uhlig, Negar Kiyavash, Natasha A. Neogi

Proceedings of the American Control Conference, 2009

2008

Partitioning and the online-world design problem for multi-player games.

Natasha A. Neogi, Cédric Langbort

Proceedings of the American Control Conference, 2008

2007

Failure-robust distributed controller architectures.

Shengxiang Jiang, Petros G. Voulgaris, Natasha A. Neogi

Int. J. Control, 2007

Distributed Control over Structured and Lossy Networks.

Shengxiang Jiang, Petros G. Voulgaris, Natasha A. Neogi

Proceedings of the American Control Conference, 2007

2006

Using Hidden Markov Models to Detect Mode Changes in Aircraft Flight Data for Conflict Resolution.

Natasha A. Neogi, Asal Naseri

Proceedings of the IEEE International Conference on Systems, 2006

2004

Dynamic Partitioning of Large Discrete Event Biological Systems for Hybrid Simulation and Analysis.

Natasha A. Neogi

Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004

Utilizing the structure of safety properties to aid in the verification of hybrid controllers.

Natasha A. Neogi

Proceedings of the 2004 American Control Conference, 2004