Follow
Minghui Sun
Title
Cited by
Cited by
Year
A new methodology to support group decision-making for IoT-based emergency response systems
N Li, M Sun, Z Bi, Z Su, C Wang
Information systems frontiers 16, 953-977, 2014
892014
Risk assessment model based on multi-agent systems for complex product design
N Li, X Li, Y Shen, Z Bi, M Sun
Information Systems Frontiers 17, 363-385, 2015
312015
Development and application of intelligent system modeling and simulation platform
N Li, W Yi, M Sun, G Gong
Simulation Modelling Practice and Theory 29, 149-162, 2012
182012
4 Dimensional waypoint generation for conflict-free trajectory based operation
M Sun, K Rand, C Fleming
Aerospace Science and Technology, 2019
152019
Resolving a Dilemma: Guarantee Conflict-free 4-D Trajectories While Leaving Autonomy to Airlines
M Sun, X Ge, C Fleming
2018 IEEE/AIAA 37th Digital Avionics Systems Conference (DASC), 2018
42018
A new safety-guided design methodology to complement model-based safety analysis for safety assurance
M Sun, CH Fleming
The 4th IFAC Workshop on Cyber-Physical and Human Systems (CPHS 2022), 2022
32022
Decision support architectures for the recovery of interdependent infrastructure with large‐scale damage and socially vulnerable populations
K Rand, M Sun, CH Fleming
Risk Analysis 42 (5), 1124-1135, 2022
22022
Correct-by-construction: a contract-based semi-automated requirement decomposition process
S Minghui, G Bakirtzis, H Jafarzadeh, C Fleming
arXiv preprint arXiv:1909.02070, 2019
2*2019
Guaranteed Conflict: when speed advisory doesn’t work for Time-based Flow Management
X Ge, M Sun, C Fleming
ATM Seminar, 2019
22019
Defining and Reasoning about Model-based Safety Analysis: A Review
M Sun, CH Fleming, M Milich
NASA STI Program Report Series, 2021
12021
Optimization of waypoint-based flight-deck interval management for NextGen concept of operations
N Singh, S Abraham, M Sun, C Fleming
AIAA Scitech 2021 Forum, 0780, 2021
12021
Waypoint-based flight-deck interval management
M Sun, S Abraham, N Singh, C Fleming
AIAA Scitech 2020 Forum, 2101, 2020
12020
Defining and characterizing model-based safety assessment: A review
M Sun, S Gautham, Q Ge, C Elks, C Fleming
Safety Science 172, 106425, 2024
2024
A formal process of hierarchical functional requirements development for Set-Based Design
M Sun, Z Chen, G Bakirtzis, H Jafarzadeh, C Fleming
arXiv preprint arXiv:2210.14434, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–14