Before coming to CU Boulder in 2016, Chen was a postdoctoral researcher in the Coordinated Science Lab at the University of Illinois at Urbana-Champaign. He earned his PhD in electrical engineering ...

Analysis of Boundedness and Safeness in a Petri Net-Based Specification of Concurrent Control Systems is a timely and rigorous new resource from Bentham Science for computer scientists, control ...

Homomorphic encryption has emerged as a pivotal tool for preserving data confidentiality in networked control systems, where sensors, controllers and actuators exchange sensitive information over ...