Structure as Semantics: Impedance Modeling and Retrenchment in Cyber-Physical Systems
- 16 June 2026
- book chapter
- Published by Springer Nature
- p. 249-272
Abstract
No abstract availableKeywords
This publication has 28 references indexed in Scilit:
- Rigorous State-Based Methods2026
- Logical Foundations of Cyber-Physical Systems2018
- System Dynamics2012
- Formalizing Hybrid Systems with Event-BLecture Notes in Computer Science, 2012
- Bond Graph Methodology2010
- The Abstract State Machines Method for High-Level System Design and Analysis2009
- Modeling and Control of Complex Physical Systems2009
- Abstract State Machines2003
- Isabelle/HOL2002
- Introduction to Physical Modeling with Modelica2001