January 01, 2022 conference-paper Open access Aachen paper

A Rewriting Framework for Interacting Cyber-Physical Agents

Lecture notes in computer science, pp. 356–372

DOI: 10.1007/978-3-031-19759-8_22 Full text (OA) OpenAlex

Authors 3

Benjamin Lion Aachen

Leiden University

Affiliation as printed

Leiden University, Leiden, The Netherlands
Farhad Arbab Aachen

Leiden University · Centrum Wiskunde & Informatica

Affiliation as printed

CWI, Amsterdam, The Netherlands

Leiden University, Leiden, The Netherlands
Carolyn Talcott corresponding

SRI International

Affiliation as printed

SRI International, Menlo Park, CA, USA

Cited by 6 stored of 6

Parallel Composition of Constraint Automata
2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

0

citations
iCPS-DL: A Description Language for Autonomic Industrial Cyber-Physical Systems
2025 IEEE Transactions on Industrial Cyber-Physical Systems article Engineering Digital Transformation in Industry

3

citations
Flocks of Birds: A Quantitative Evaluation
2024 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

1

citations
Runtime Composition of Systems of Interacting Cyber-Physical Components
2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

5

citations
A Rewriting Framework for Interacting Cyber-Physical Agents
2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

6

citations
Rigorous Engineering of Collective Adaptive Systems Introduction to the 4th Track Edition
2022 Lecture notes in computer science conference-paper Computer Science Advanced Software Engineering Methodologies

3

citations

6 results

No patents citing this paper on Lens.org (checked 2026-10-11).

References 21

Conditional rewriting logic as a unified model of concurrency
1992 Theoretical Computer Science article Computer Science Logic, programming, and type systems Open access

1,337

citations
Process algebra for synchronous communication
1984 Information and Control article Computer Science Logic, programming, and type systems Open access

873

citations
All About Maude - A High-Performance Logical Framework
2007 Springer eBooks conference-paper Computer Science Logic, programming, and type systems

495

citations
Active diagnosis of discrete-event systems
1998 IEEE Transactions on Automatic Control article Computer Science Petri Nets in System Modeling

308

citations
Introduction to Process Algebra
2000 Texts in theoretical computer science book Computer Science Logic, programming, and type systems

254

citations
Twenty years of rewriting logic
2012 The Journal of Logic and Algebraic Programming article Computer Science Logic, programming, and type systems Open access

203

citations
Real-Time Maude and Its Applications
2014 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

51

citations
Puff, The Magic Protocol
2011 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

45

citations
Discrete Event Systems: Modeling, Observation, and Control
2018 Annual Review of Control Robotics and Autonomous Systems review Computer Science Petri Nets in System Modeling

43

citations
A Rewriting Logic Framework for Soft Constraints
2007 Electronic Notes in Theoretical Computer Science article Computer Science Constraint Satisfaction and Optimization Open access

28

citations
A Framework for Analyzing Adaptive Autonomous Aerial Vehicles
2018 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

25

citations
Hybrid SynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

24

citations
Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems
2015 Lecture notes in computer science conference-paper Computer Science Multi-Agent Systems and Negotiation Open access

19

citations
Behaviors of Processes and Synchronized Systems of Processes
1982 Springer eBooks book-chapter Computer Science semigroups and automata theory

19

citations
A Formal Security Assessment Framework for Cooperative Adaptive Cruise Control
2020 IEEE Vehicular Networking Conference (VNC) conference-paper Engineering Traffic control and management

11

citations
Supervisory control synthesis for large-scale systems with isomorphisms
2021 Control Engineering Practice article Computer Science Petri Nets in System Modeling Open access

8

citations
A Semantic Model for Interacting Cyber-Physical Systems
2021 Electronic Proceedings in Theoretical Computer Science article Computer Science Formal Methods in Verification Open access

6

citations
Soft component automata: Composition, compilation, logic, and verification
2019 Science of Computer Programming article Computer Science Formal Methods in Verification Open access

6

citations
A Rewriting Framework for Interacting Cyber-Physical Agents
2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

6

citations
Runtime Composition of Systems of Interacting Cyber-Physical Components
2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

5

citations