Smart grid applications demand the availability of a reliable and accurate time signal.
Measurements and events need to be correctly aligned to enable proper actions and …

Forms of synchrony can greatly simplify modeling, design, and verification of distributed
systems. Thus, recent advances in clock synchronization protocols and their adoption hold …

Smart grid applications demand the availability of a reliable and accurate time signal.
Measurements and events need to be correctly aligned to enable proper actions and …

The current electric grid is considered as one of the greatest engineering achievements of
the twentieth century. It has been successful in delivering power to consumers for decades …

Asynchronous event-driven systems are ubiquitous across domains such as device drivers,
distributed systems, and robotics. These systems are notoriously hard to get right as the …

Seshia CV Page 1 Sanjit A. Seshia Curriculum Vitae Department of Electrical Engineering &
Computer Sciences Office Phone: (510) 643-6968 253 Cory Hall #1770 Fax : (510) 642-5745 …