A5024102827- Human Mobility and Location-Based Analysis
- Opportunistic and Delay-Tolerant Networks
- Urban Design and Spatial Analysis
- Safety Systems Engineering in Autonomy
- Formal Methods in Verification
- Interstitial Lung Diseases and Idiopathic Pulmonary Fibrosis
- Evolutionary Game Theory and Cooperation
- Real-time simulation and control systems
- Data-Driven Disease Surveillance
- Traffic Prediction and Management Techniques
- Data Management and Algorithms
- Fluid Dynamics and Vibration Analysis
- Model Reduction and Neural Networks
- Manufacturing Process and Optimization
- Software Reliability and Analysis Research
- Transportation and Mobility Innovations
Siemens (Germany)
2023-2024
Siemens (United States)
2023
George Mason University
2020-2021
Georgia Institute of Technology
2018
Location-based social networks (LBSNs) have been studied extensively in recent years. However, utilizing real-world LBSN data sets yields several weaknesses: sparse and small sets, privacy concerns, a lack of authoritative ground-truth. To overcome these weaknesses, we leverage large-scale simulation to create framework simulate human behavior synthetic but realistic based on patterns life. Such not only captures the location users over time also their interactions via networks. Patterns...
Individual human location trajectory and check-in data have been the driving force for mobility research in recent years. However, existing datasets are very limited size representativeness. For example, one of largest most commonly used individual trajectories, GeoLife, captures fewer than two hundred individuals. To help fill this gap, Data Resources paper leverages an generator based on fine-grained simulation patterns life to produce large-scale trajectory, check-in, social network data....
Human mobility and social networks have received considerable attention from researchers in recent years. What has been sorely missing is a comprehensive data set that not only addresses geometric movement patterns derived trajectories, but also provides causal links as to why happens the first place. To some extent, this challenge addressed by studying location-based (LBSNs). However, scope of real-world LBSN sets constrained privacy concerns, lack authoritative ground-truth, their...
Certification of aircraft systems is a complex task that difficult to automate requiring significant subjective decision making. Established certification standards such as CFR-25 and MIL-HDBK-516 require considerable analysis transform the requirements into meaningful actionable requirements. This prevents automation any verification, assurance task. While established methods rely on case generation, several key tasks still requires human input preventing co-creation designs, verification...
Design of complex cyber-physical products and systems such as aircrafts, cars, underwater vehicles, robotic arms, etc., is a lengthy process in which designers across multiple teams rely on well established engineering workflows executing simulations various fidelities. These usually implement, at some point the design process, high-fidelity physics-based that involve solving ordinary and/or partial differential equations (PDEs) different disciplines considered (e.g., fluid dynamics,...