Carolyn Talcott

About

Carolyn Talcott’s research lies at the intersection of formal methods, distributed systems, and cyber-physical systems (CPS), where she has pioneered rigorous, logic-based frameworks for specifying and reasoning about the behavior of networked computational and physical components. Her major contributions include developing a distributed declarative logic for CPS that enables compositional modeling, allowing complex systems to be built from simpler, verifiable modules. She has also advanced the concept of preference-aware agents, embedding formal descriptions of agent goals and constraints into system design. Talcott’s work on a rewriting framework for interacting cyber-physical agents provides a semantic foundation for runtime composition, enabling dynamic, adaptive system behavior. Her most cited paper, “Toward Distributed Declarative Control of Networked Cyber-Physical Systems” (31 citations), established key principles for decentralized CPS control. With over 90 total citations across her top papers, her influence is growing, particularly through recent contributions like her 2021 semantic model for interacting CPS (6 citations) and her 2023 work on runtime composition (5 citations). Talcott’s formal, compositional approach is essential for building trustworthy, scalable cyber-physical systems, making her a leading voice in this critical field.

Research Focus

Key Achievements

Top Papers

1. 1
   Toward Distributed Declarative Control of Networked Cyber-Physical Systems

   31 citations · 2010
2. 2
   A distributed logic for Networked Cyber-Physical Systems

   13 citations · 2013
3. 3
   A Compositional Framework for Preference-Aware Agents

   13 citations · 2016
4. 4
   A Distributed Logic for Networked Cyber-Physical Systems

   12 citations · 2012
5. 5
   A Semantic Model for Interacting Cyber-Physical Systems

   6 citations · 2021
6. 6
   A Rewriting Framework for Interacting Cyber-Physical Agents

   6 citations · 2022
7. 7
   Runtime Composition of Systems of Interacting Cyber-Physical Components

   5 citations · 2023
8. 8
   A semantic model for interacting cyber-physical systems

   3 citations · 2022
9. 9
   A formal framework for distributed cyber-physical systems

   2 citations · 2022

Key Collaborators

Contact & Links