1

Physical Ensemble EngineeringChristof, Heinz, Insup, Seth, Teruo

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

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

Physical EnsemblesLarge number of nodes in real-spacesensing and effecting environment

in real-time,limited communication & space,changing topology and geometry

Large number of nodes in real-spacesensing and effecting environment

in real-time,limited communication & space,changing topology and geometry

Large number of adaptive machines and people

interacting non-compositionallycooperative & competitiveecosystem dynamics vs.

equilibria

Large number of adaptive machines and people

interacting non-compositionallycooperative & competitiveecosystem dynamics vs.

equilibria

Societal Ensembles

ENSEMBLE ENGINEERING

Foundations, Modeling and AnalysisFoundations, 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 reasoningabout privacy, confidentiality,

trustworthiness

Hybrid stochastic, continuous and discrete models and reasoning

TestbedsTestbeds

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

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

Ensemble flagship successes: programmable matter in interdisciplinary projects

Ensemble user languages, tools and platforms

Ensemble models, languages, foundations

Ensembles: collaborativ

e

engagements

Roadmap: Physical Ensemble EngineeringRoadmap: Physical Ensemble Engineering

Best practices S

W-intensive,

sensor networks, m

odular

robots and intellig

ent

nanostructures

Impro

vem

ents

in S

W-i

nte

nsi

ve s

yst

em

s

You are here

2030

2005

Large number of machines and people

interacting non-compositionallycooperative & competitiveecosystem dynamics vs.

equilibriaadaptive

Large number of machines and people

interacting non-compositionallycooperative & competitiveecosystem dynamics vs.

equilibriaadaptive

Societal EnsemblesPhysical EnsemblesLarge number of

sensors and actuators controlled by many HW/SW entitieslimited neighborhood

changing topology(local resource constraint)

Large number of sensors and actuators controlled by

many HW/SW entitieslimited neighborhood

changing topology(local resource constraint)

Globally emergent intelligencelocal decision and control

self-x properties

Pervasive automationambient citiesinvisible computing and communication

Global reasoning, predictability, high confidenceSW-intensive automation and control systems,

Material programming

trustworthinesstraceabilityprivacy, confidentiality

ENSEMBLE ENGINEERINGLanguages and Tools

underpinned byFoundations, Models & Methods

Languages and Toolsunderpinned by

Foundations, Models & Methods

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