Towards Co-Engineering Communicating Autonomous Cyber-physical Systems

Offers a framework for interdisciplinary modeling of space systems through a holistic view by considering different interactions of system dimensions such as those between computation, physics, communication, uncertainty, and autonomy. Argues that cyber-physical systems offer the most comprehensive computational paradigm and consist of multi-engineering efforts. Proposes leveraging traditional content of formal modeling through a co-engineering collaborative process. Defines cyber-physical as networked dynamics based on the interaction between physics and computation. Two perspectives model autonomous systems: black box based on hybrid dynamical systems and white box based on nested feedback. Reviews degrees of autonomy and communication elements of cyber-physical systems.