Spring 2019 OSU EECS and Robotics students: if you want to build and race an autonomous car, request to register for this Spring's Autonomous Driving course here!
January 2019: I am starting as an Assistant Professor in the EECS department at Oregon State University!
December 2018: Our paper on ``Temporal Logic Robustness for General Signal Classes'' has been accepted to HSCC 2019
October 2018: The 3d international F1/10 Autonomous Racing competition took place in Torino, Italy. Highlights here.
October 2018: Co-organizing two special sessions at EMSOFT: Embedded Software for Robotics: Challenges and Future Directions with Yasser Shoukry and Inranil Saha, and Design and Deployment of Advanced Driver Assistance Systems, with Rahul Mangharam.
July 2018: Presented an update on our work on F1/10 autonomous race car as a research platform for online monitoring at the Federated Logic Conference (FLOC) 2018
February 2018: Our abstract on the use of Quantitative Regular Expressions to program ICDs has been accepted to Heart Rhythm Sessions 2018! HRS is one of the premier conferences for cardiac disease specialists and electrophysiologists, with an abstract acceptance rate hovering around the 15% mark. See you in Boston!
January 2018: My paper on generalizing robust MTL semantics for use in electrophysiology applications has been accepted to ACC 2018.
January 2018: Submit your abstracts on the Monitoring and Testing of CPS to MT-CPS Workshop, co-located with CPSWeek 2018 in Porto, Portugal. Deadline Feb. 20. Details here
December 2017: Our paper, `Fly-by-Logic: Control of Multi-Drone Fleets with Temporal Logic Objectives', is accepted to ICCPS 2018! Yay Porto!
December 2017: Our work is featured in the Philadelphia Inquirer!
November 2017: I presented a summary of this year's work at the NSF CPS PI Meeting in Alexandria, on `Closing the Loop for Medica CPS'.
October 2017: Our article, "A Driver's License for Driverless Vehicles", will appear in ASME's Dynamic Systems and Control Magazine in December 2017.
October 2017: The first case study in our new course, Model-Based Embedded Systems, is done! Students were introduced to timed automata, LTL, UPPAAL, and the perils of bad timing in pacemakers. Next: keeping warm in energy-efficient buildings! See the Syllabus.
September 2017: Ezio Bartocci presented our paper on "Quantitative Regular Expressions for Arrhythmia Detection Algorithms" at CMSB in Darmstadt, Germany.
April 2017: Presented our paper on "Relaxed Decidability and the Robust Semantics of Temporal Logic" at HSCC 2017.
May 2017: Presented our work on Novel Morphology Discriminators for Implantable Defibrillators at Heart Rhythm Sessions 2017, the scientific congress of the Heart Rhythm Society, which is the main scientific association of electrophysiologists.
December 2016: Prof. Rahul Mangharam presented our work on A Driver's License Test for Autonomous Vehicles presented to CMU-Penn UTC Advisory Board [watch our crash video]
October 2016: F1/10 Autonomous Racing - First International Competition at Embedded Systems Week was a success. Watch the highlights [More]
September 2016: Participated in the Dagstuhl seminar on "Robustness for Cyber-Physical Systems" in Dagstuhl, Germany
April 2016 We hosted 3 F1/10 tutorials in CPSweek 2016. Check out the F1/10 website at http://f1tenth.org