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
Memory allocation for low-power real-time embedded microcontroller: a case study
2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA)
IEEE
2022
RT-Bench: an Extensible Benchmark Framework for the Analysis and Management of Real-Time Applications
Proceedings of the 30th International Conference on Real-Time Networks and Systems
ACM
2022
Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations
25th ACM International Conference on Hybrid Systems: Computation and Control
ACM
2022
Reconciling QoS and Concurrency in NVIDIA GPUs via Warp-Level Scheduling
2022 Design, Automation & Test in Europe Conference & Exhibition (DATE)
IEEE
2022
Latency analysis of self-suspending task chains
2022 Design, Automation & Test in Europe Conference & Exhibition (DATE)
IEEE
2022