1. 1 Physical Ensemble Engineering Christof, Heinz, Insup, Seth, Teruo

2. 2 Definition: Physical Ensemble General significant number of nodes distributed in real space communication restricted to local interaction changing topology Specific large number of sensors and actuators (interacting with physical environment in real-time) changing geometry

3. 3 Reference Examples and Applications Synthetic biology Intelligent nanostructures Bioengineered artificial cells Next-generation robotics Swarms of satellites Flying unmanned air vehicles (UAV swarm) Programmable pervasive transport systems

4. Physical Ensembles Large number of nodes in real-space sensing and effecting environment in real-time, limited communication & space, changing topology and geometry Large number of nodes in real-space sensing and effecting environment in real-time, limited communication & space, changing topology and geometry Large number of adaptive machines and people interacting non-compositionally cooperative & competitive ecosystem dynamics vs. equilibria Large number of adaptive machines and people interacting non-compositionally cooperative & competitive ecosystem dynamics vs. equilibria Societal Ensembles ENSEMBLE ENGINEERING Foundations, Modeling and Analysis Languages, Compilers, Platforms Languages, Compilers, Platforms Methods, Tools, Processes Methods, Tools, Processes Global reasoning, predictability, high confidence for SW-intensive automation, control systems, and material programming Local and regionals reasoning about privacy, confidentiality, trustworthiness Hybrid stochastic, continuous and discrete models and reasoning Testbeds

5. 5 Objectives Languages and models for creating scalable, robust, flexible and efficient ensembles Methods and tools for declarative global specification, refinement and compilation into local rules running on ensemble elements Theoretical foundations for physical ensembles drawing on thermodynamics, control, automata and logic

6. 6 Focus Engineering: Support creation of ensembles from concise global aggregate specification automatically turned into local rules Science: Understanding global behaviours inferred from local rules Design and realization: Develop architectural design methods for hierarchical ensemble software engineering Spatial Models: Real-space and real-time modelling, scheduling and verification of physical ensembles Assurance: Robustness, certifiability and predictable quality of service of physical ensembles Testbeds: develop applications and platforms for exploring and experimenting with ensembles

7. Ensemble flagship successes: programmable matter in interdisciplinary projects Ensemble user languages, tools and platforms Ensemble models, languages, foundations Ensembles: collaborative engagements Roadmap: Physical Ensemble Engineering Best practices SW-intensive, sensor networks, modular robots and intelligent nanostructures Improvements in SW-intensive systems You are here 2030 2005

8. Software-Intensive Systems and New Paradigms Large number of machines and people interacting non-compositionally cooperative & competitive ecosystem dynamics vs. equilibria adaptive Large number of machines and people interacting non-compositionally cooperative & competitive ecosystem dynamics vs. equilibria adaptive Societal Ensembles Physical Ensembles Large number of sensors and actuators controlled by many HW/SW entities limited neighborhood changing topology (local resource constraint) Large number of sensors and actuators controlled by many HW/SW entities limited neighborhood changing topology (local resource constraint) Globally emergent intelligence local decision and control self-x properties Pervasive automation ambient cities invisible computing and communication Global reasoning, predictability, high confidence SW-intensive automation and control systems, Material programming trustworthiness traceability privacy, confidentiality ENSEMBLE ENGINEERING Languages and Tools underpinned by Foundations, Models & Methods Languages and Tools underpinned by Foundations, Models & Methods

9. 9 Collaboration Instruments Funded project to pay PhD students, researchers etc precedent: Israel/Switzerland contributing to EU to avoid double reviewing Coordinated actions (WS, Summer schools, training, communications) Horizontal support action Strenghtening international cooperation Funded travel Submit CA to EC: global community (EU, USA) of ensembles Same for NSF (“Partnership for international research and education”) Fund travel process exists for coop AUS-EU action: propose coord action for ensemble engineering