Dr. Wenchao Li of BU Dept. of Electrical & Computer Engineering and BU Systems Engineering discussing byzantine resilience in large robot swarms at today's CPSRC seminar.

At today's CPSRC seminar, Abraham Vinod of Mitsubishi Electric Research Laboratories (MERL) discussed motion planning under constraints and uncertainty using data and reachability.

Numerically evaluating the cost of optimal control problems is challenging and, most times, impossible due to the curse of dimensionality. In our recent work, we characterize the (exact) upper bound w/o numerically computing solutions youtu.be/ePfciuqekRkSpe… Santiago Jimenez Leudo Baskin Engineering at UCSC

Motion planning for systems with mode transitions/switches/state resets is challenging due to the combination of continuous and discrete dynamics. In youtu.be/2R-GS0y2lpA we present a probabilistically complete RRT-based algorithm for hybrid systems.  Baskin Engineering at UCSC Santiago Jimenez Leudo

Parameter estimation for hybrid systems is challenging due to the combination of continuous and discrete dynamics that can cause industry-standard estimators to fail. In youtu.be/iRvHkzL-q28, we present parameter estimation algorithms for hybrid systems. UC Santa Cruz Cyber-Physical Systems Research Center - UCSC

Today's CPSRC seminar featured Graham Goodwin of University of Newcastle. Dr. Goodwin presented a novel approach to control education based on emulated industrial experiments, illustrated with examples of wind power generation and more.

Dr. Issa Nesnas, Principal Technologist in the Autonomous Systems Division at NASA JPL, discussed autonomy for space exploration at today's CPSRC seminar.

Join us online!

Our paper "Forward Invariance-Based Hybrid Control Using Uncertified Controllers" with Paul Wintz will be presented today at the IEEE CDC 2023, at 10:40am in Orchid Main 4201AB within the Event-Triggered and Self-Triggered Control I session.#IEEECDC2023 #HybridSystems

This afternoon, our work on invariants for interconnections, entitled "On Invariants for Open Hybrid Systems and Their Interconnections" will be presented the CDC in Singapore, session WeB24 in Orchid Main room. #IEEECDC2023 #HybridSystems

We will present our paper titled "HySST: An Asymptotically Near-Optimal Motion Planning Algorithm for Hybrid Systems," co-authored with my Ph.D. student @Nan Wang, at the 2023 IEEE CDC. The presentation will be in Orchid Main 4201AB. #IEEECDC2023 #HybridSystems #MotionPlanning

This Thursday, we will have Hampei Sasahara, Prof. at the Tokyo Institute of Technology. Hampei will discuss control-theoretic approaches towards secure industrial control systems. Full details at cps.soe.ucsc.edu/cps-events

Today at 2pm, we will have Berkay Celik, Prof. of CS at Purdue University. Berkay will discuss compositional secure autonomy: from perception to control. Full details at cps.soe.ucsc.edu/cps-events

Next Thursday, we will have Gabriel Nemirovsky, Ph.D. Candidate at the University of York. Gabriel will discuss "Building a Framework for Trustworthy Autonomous Agents: Autonomous Agents and Value Alignment." Full details at cps.soe.ucsc.edu/cps-events Baskin Engineering at UCSC

On Thursday March 14th, we will have Samarjit Chakraborty, Kenan Distinguished Professor and Chair of the Department of CS at UNC, Chapel Hill. Samarjit will present "Building Safe Autonomous Systems Using Imperfect Components." Full details at cps.soe.ucsc.edu/cps-events Baskin Engineering at UCSC

Today, we will have Lars Lindemann, Assistant Professor in the Department of Computer Science at the University of Southern California. Lars will present "Learning Safe Control Laws from Expert Demonstrations." Full details at cps.soe.ucsc.edu/cps-events Baskin Engineering at UCSC Lars Lindemann

Denial-of-Service (DoS) attacks in the sensors can potentially lead to non-observable modes and safety violations. In youtu.be/UWwE51dGEeE, we propose an observer-based switching algorithm to guarantee safety wrt a set of interest under DoS attacks Santiago Jimenez Leudo  Baskin Engineering at UCSC

Our paper "A Data-Driven Approach for Certifying Asymptotic Stability and Cost Evaluation for Hybrid Systems" with C. Montenegro and S Jimenez was presented today at the HSCC 2024. This paper proposes a learning-based algorithm to design Lyapunov functions for hybrid systems.

On Thursday June 6th, we will have Georgios Fainekos, Senior Principal Scientist at Toyota Motor North America, R&D. Georgios will present "Synthesis and Verification of Neural Feedback Controllers for Temporal Logic Tasks." Full details at cps.soe.ucsc.edu/cps-events Baskin Engineering at UCSC

Our paper "Hybrid Dynamical Systems Formulation of Capture-the-Flag Games" with S. Jimenez, P. Braun, and I. Shames will be presented today at the ADHS 2024. We propose a hybrid system formulation of capture-the-flag games. #ADHS2024 #HybridSystems #HybridGames Cyber-Physical Systems Research Center - UCSC