Biblio
Filters: First Letter Of Last Name is M [Clear All Filters]
Safe Open-Loop Strategies for Handling Intermittent Communications in Multi-Robot Systems. {IEEE} International Conference on Robotics and Automation.
.
2017.
Nonsmooth Barrier Functions with Applications to Multi-Robot Systems. {IEEE} Control Systems Letters.
.
2017. Accepted for publication
Control Barrier Certificates for Safe Swarm Behavior. {IFAC} Conference on Analysis and Design of Hybrid Systems.
.
2015.
Safety Barrier Certificates for Heterogeneous Multi-Robot Systems. American Control Conference.
.
2016.
Multi-objective Compositions for Collision-Free Connectivity Maintenance in Teams of Mobile Robots. {IEEE} Conference on Decision and Control.
.
2016.
The Robotarium: A Remotely Accessible Swarm Robotics Research Testbed. {IEEE} International Conference on Robotics and Automation.
.
2017.
Safe Certificate-Based Maneuvers for Teams of Quadrotors Using Differential Flatness. {IEEE} International Conference on Robotics and Automation.
.
2017.
Safety Barrier Certificates for Collisions-Free Multi-robot Systems. {IEEE} Transactions on Robotics. 33:661-674.
.
2017.
Closed-form controlled invariant sets for pedestrian avoidance. American Control Conference (ACC), 2017. :1622–1628.
.
2017.
Robust Global Trajectory Tracking for Underactuated VTOL Aerial Vehicles using Inner-Outer Loop Control Paradigms. IEEE Transactions on Automatic Control. 62:97–112.
.
2017.
Locomotive: Optimizing mobile web traffic using selective compression. A World of Wireless, Mobile and Multimedia Networks (WoWMoM), 2017 IEEE 18th International Symposium on. :1–4.
.
2017.
Transistency Models: Memory Ordering at the Hardware-OS Interface. IEEE Micro. 37:88–97.
.
2017.
TriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA. Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems. :119–133.
.
2017.
Keynotes: Internet of Things: History and hype, technology and policy. Microarchitecture (MICRO), 2016 49th Annual IEEE/ACM International Symposium on. :1–2.
.
2016.
.
2017.
Using Simulators to Assess Knowledge and Behavior of. 2017 Resilience Week (RWS).
.
2017.
.
2017.
Categorization of anomalies in smart manufacturing systems to support the selection of detection mechanisms. IEEE Robotics and Automation Letters. 2:1885–1892.
.
2017.
A 64-channel ultra-low power bioelectric signal acquisition system for brain-computer interface. Biomedical Circuits and Systems Conference (BioCAS), 2015 IEEE. :1–4.
.
2015.
A small, portable, battery-powered brain-computer interface system for motor rehabilitation. Engineering in Medicine and Biology Society (EMBC), 2016 IEEE 38th Annual International Conference of the. :2776–2779.
.
2016.
Feasibility of an ultra-low power digital signal processor platform as a basis for a fully implantable brain-computer interface system. Engineering in Medicine and Biology Society (EMBC), 2016 IEEE 38th Annual International Conference of the. :4491–4494.
.
2016.
Performance Assessment of a Custom, Portable and Low-Cost Brain-Computer Interface Platform. IEEE Transactions on Biomedical Engineering.
.
2017.
Electrocorticographic Encoding of Human Gait in the Leg Primary Motor Cortex. Cerebral Cortex. :1–11.
.
2017.
CMOS Ultralow Power Brain Signal Acquisition Front-Ends: Design and Human Testing. IEEE Transactions on Biomedical Circuits and Systems.
.
2017.
Reachability for partially observable discrete time stochastic hybrid systems. Automatica. 50:1989–1998.
.
2014.