Login
A Cyber-Physical Prototyping and Testing Framework to Enable the Rapid Development of UAVs
Aerospace
2022
9
5
270
A Set-based Approach for Synthesizing Controllers Enforcing ω-Regular Properties over Uncertain Linear Control Systems
2022 American Control Conference (ACC)
IEEE
2022
Synthesizing Safety Controllers for Uncertain Linear Systems: A Direct Data-driven Approach
2022 IEEE Conference on Control Technology and Applications (CCTA)
IEEE
2022
Cloud-Edge Training Architecture for Sim-to-Real Deep Reinforcement Learning
2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
IEEE
2022
Verifiable Obstacle Detection
2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE)
IEEE
2022
Automata-based controller synthesis for stochastic systems: A game framework via approximate probabilistic relations
Automatica
2023
147
110696
Expanded Flight & Ground Testing Data Set for an Unmanned Aircraft: Great Planes Avistar Elite
AIAA SCITECH 2023 Forum
American Institute of Aeronautics and Astronautics
2023
SchedGuard++: Protecting against Schedule Leaks Using Linux Containers on Multi-Core Processors
ACM Transactions on Cyber-Physical Systems
2023
7
1
1-25
Supporting single and multi-core resource access protocols on object-oriented RTOSes
Design Automation for Embedded Systems
2023
27
1-2
31-50
Formal Synthesis of Controllers for Uncertain Linear Systems Against $\omega$-Regular Properties: A Set-Based Approach
IEEE Transactions on Automatic Control
2023
1-16