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

SAILing CAVs: Speed-Adaptive Infrastructure-Linked Connected & Automated Vehicles. This video highlights work by members of the NSF CPS Frontier project led by CPSRC Director Ricardo Sanfelice youtu.be/gFwJfEvnogI?si…

Our Fall 2023 seminar series kicks off next week with a talk by Saša V. Raković of Beijing Institute of Technology. Saša will discuss Minkowski, Lyapunov, and Bellman: Inequalities and Equations for Stability and Optimal Control. Full details at cps.soe.ucsc.edu/cps-events

Today's CPSRC seminar featured Saša V. Raković of Bejing Institute of Technology. Saša presented Minkowski, Lyapunov, and Bellman: Inequalities and Equations for Stability and Optimal Control.

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.

To wrap up our Fall 2023 seminar series, we will have Timothy Wang from RTX Technologies Research Center. Tim will discuss hierarchical contract nets and automatic assurance case environments. Full details at cps.soe.ucsc.edu/cps-events

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

At today's CPSRC seminar, Dr. Luciano Lavagno of Politecnico di Torino gave a talk on Mix & Latch: An Optimization Flow for High-Performance Designs with Single-Clock Mixed-Polarity Latches and Flip-Flops.

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

Today's CPSRC seminar featured Gabriel Nemirovsy, a Ph.D. candidate in the University of York's Philosophy Department, who gave a talk on Building a Framework for Trustworthy Autonomous Agents: Autonomous Agents and Value Alignment.

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

Today's CPSRC Seminar featured Himadri Basu, a Postdoctoral Research Scholar in the Hybrid Systems Laboratory at UC Santa Cruz. Himadri presented "Distributed Control & Optimization Framework for Multi-Agent Systems in Space Applications".

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

Today's CPSRC seminar speaker was Georgios Fainekos, Senior Principal Scientist at Toyota Motor North America. Dr. Fainekos gave a talk on Synthesis and Verification of Neural Feedback Controllers for Temporal Logic Tasks.