SlideShare ist ein Scribd-Unternehmen logo
1 von 25
Downloaden Sie, um offline zu lesen
CONTEXT / BACKGROUND THE PROBLEM THE BIG QUESTIONS
Where shall we have lunch?
Problems for a computer-aided future
Vivek Nallur
Trinity College Dublin
July 20, 2015
CONTEXT / BACKGROUND THE PROBLEM THE BIG QUESTIONS
THE BIG QUESTIONS
The History of every major Galactic Civilization tends to pass
through three distinct and recognizable phases, those of
Survival, Inquiry and Sophistication, otherwise known as the
How, Why, and Where phases. For instance, the first phase is
characterized by the question ’How can we eat?’ the second by
the question ’Why do we eat?’ and the third by the question
’Where shall we have lunch?’
— Douglas Adams, The Restaurant at the End of the Universe
CONTEXT / BACKGROUND THE PROBLEM THE BIG QUESTIONS
FRAMING THE QUESTION
CONTEXT / BACKGROUND THE PROBLEM THE BIG QUESTIONS
WHAT DOES IT MEAN TO BE A ‘SMART CITY’?
CONTEXT / BACKGROUND THE PROBLEM THE BIG QUESTIONS
SMART MOBILITY
Figure: source - Amsterdam Smart City
[www.amsterdamsmartcity.com]
CONTEXT / BACKGROUND THE PROBLEM THE BIG QUESTIONS
SMART HOMES
CONTEXT / BACKGROUND THE PROBLEM THE BIG QUESTIONS
SMART GRID
CONTEXT / BACKGROUND THE PROBLEM THE BIG QUESTIONS
SO, WHAT’S THE PROBLEM?
Figure: Visualization of movement on the LondonUnderground
CONTEXT / BACKGROUND THE PROBLEM THE BIG QUESTIONS
EACH HOME IS A COMPLEX ADAPTIVE SYSTEM
Figure: https://commons.wikimedia.org/wiki/File:
Complex-adaptive-system.jpg
CONTEXT / BACKGROUND THE PROBLEM THE BIG QUESTIONS
IF DUBLIN WERE A SMART CITY
Number of smart homes — 400,000 (approx)
Number of smart buses — 950 (approx)
Number of ‘ansibles’ — 1 million (approx)
Number of Luas riders per day — 83,500 (approx)
Number of Bus riders per day — 300, 000 (approx)
How many feedback loops does this system have?
CONTEXT / BACKGROUND THE PROBLEM THE BIG QUESTIONS
LET’S HAVE LUNCH!
My ansible can talk to your ansible
Coordinate schedules
Contact city transport network for options, pre-and-post
lunch
Find restaurants amenable to both palettes and budgets
Make reservations
Reserve place on city transport vehicles
What could possibly go wrong?
CONTEXT / BACKGROUND THE PROBLEM THE BIG QUESTIONS
STRIKE! STRIKE! STRIKE!
Talks breakdown between management and union
Union announces demonstrations, sit-ins, protests
Self-Adaptation By Smart Transport Network
Re-route buses, trams
Change schedules to accommodate rush
Cancel reservations on public transport network, lying on
strike route
CONTEXT / BACKGROUND THE PROBLEM THE BIG QUESTIONS
Self-Adaptation By Smart Grid
Observe spike in power demand from tram-network
Re-route power from residences to tram-network
Start-up generators to cope with future demand in
residences
Self-Adaptation By Smart Home
Change schedules of automated washing machines,
dishwashers
All non-essential appliances switched off
Self-Adaptation By Ansibles
Start charging EVs for un-missable appointments
Cancel appointments that cannot be met
Change schedules
CONTEXT / BACKGROUND THE PROBLEM THE BIG QUESTIONS
WHAT’S WRONG WITH ALL OF THAT?
What happened to my lunch appointment?
The ansible has no idea
The smart-home has no idea
The smart-grid has no idea
Series of cascading events
Disruption in schedules cause changes to traffic patterns
Changed traffic patterns cause more power to be drawn by
transport networks
Sudden power demand causes brownouts in residential
neighbourhoods
CONTEXT / BACKGROUND THE PROBLEM THE BIG QUESTIONS
AND YOU’RE JUST ONE IN A MILLION CITIZENS
CONTEXT / BACKGROUND THE PROBLEM THE BIG QUESTIONS
WAS THERE AN ACTUAL STRIKE?
Can you trust an autonomous complex adaptive system?
Which agent is responsible for failure?
Can the system explain itself?
What about emergent phenomena?
Reasoning about failure
When no single system has failed
And no-one has the ‘big picture’
CONTEXT / BACKGROUND THE PROBLEM THE BIG QUESTIONS
ALREADY COMPLEX SYSTEMS ARE NERVE-WRACKING
In Stock-Exchanges
Flash crashes caused by high-frequency trading algorithms
60 - 70% of price movements caused by self-generated
activity
Oct, 2014 saw 179 mini-flash-crashes
Air-Traffic Control
December, 2014 – ATC shutdown airspace over London
CONTEXT / BACKGROUND THE PROBLEM THE BIG QUESTIONS
INTER-CONNECTED COMPLEX SYSTEMS
Need Self-Explaining Mechanisms
To account for humans in the loop
To account to humans in the loop
Will almost certainly experience Emergence
CONTEXT / BACKGROUND THE PROBLEM THE BIG QUESTIONS
QUESTIONS THAT WE DESPERATELY NEED ANSWERS
TO
What happens when one complex adaptive system meets
another?
Smart Homes meets Smart Mobility meets Smart Grid
CONTEXT / BACKGROUND THE PROBLEM THE BIG QUESTIONS
QUESTIONS THAT WE DESPERATELY NEED ANSWERS
TO
What happens when one complex adaptive system meets
another?
Smart Homes meets Smart Mobility meets Smart Grid
How do we account for irrational human behaviour?
I only eat vegetarian on Wednesdays, unless Loretta’s has saltimbocca
alla Romana as the lunch special
CONTEXT / BACKGROUND THE PROBLEM THE BIG QUESTIONS
QUESTIONS THAT WE DESPERATELY NEED ANSWERS
TO
What happens when one complex adaptive system meets
another?
Smart Homes meets Smart Mobility meets Smart Grid
How do we account for irrational human behaviour?
I only eat vegetarian on Wednesdays, unless Loretta’s has saltimbocca
alla Romana as the lunch special
How far can we trust a socio-technical complex adaptive
system?
If my ansible says not to take the Waterloo line, then there must be a
fault
CONTEXT / BACKGROUND THE PROBLEM THE BIG QUESTIONS
MORE TECHNICAL QUESTIONS ...
How do we construct a socio-technical complex adaptive
system?
CONTEXT / BACKGROUND THE PROBLEM THE BIG QUESTIONS
MORE TECHNICAL QUESTIONS ...
How do we construct a socio-technical complex adaptive
system?
What kind of design philosophies exist for such systems?
CONTEXT / BACKGROUND THE PROBLEM THE BIG QUESTIONS
MORE TECHNICAL QUESTIONS ...
How do we construct a socio-technical complex adaptive
system?
What kind of design philosophies exist for such systems?
If emergence is a given, what are the implications for
proof?
CONTEXT / BACKGROUND THE PROBLEM THE BIG QUESTIONS
THAT’S ALL, FOLKS!
Questions? Comments?

Weitere ähnliche Inhalte

Mehr von FoCAS Initiative

Final FoCAS Newsletter, Issue Eight, Winter 2016
Final FoCAS Newsletter, Issue Eight, Winter 2016Final FoCAS Newsletter, Issue Eight, Winter 2016
Final FoCAS Newsletter, Issue Eight, Winter 2016FoCAS Initiative
 
Advanced Manufacturing: An Industrial Application for Collective Adaptive Sys...
Advanced Manufacturing: An Industrial Application for Collective Adaptive Sys...Advanced Manufacturing: An Industrial Application for Collective Adaptive Sys...
Advanced Manufacturing: An Industrial Application for Collective Adaptive Sys...FoCAS Initiative
 
FoCAS Newsletter Issue Seven
FoCAS Newsletter Issue SevenFoCAS Newsletter Issue Seven
FoCAS Newsletter Issue SevenFoCAS Initiative
 
Sustainability Challenges In A Complex World
Sustainability Challenges In A Complex WorldSustainability Challenges In A Complex World
Sustainability Challenges In A Complex WorldFoCAS Initiative
 
FoCAS Newsletter Issue Six
FoCAS Newsletter Issue SixFoCAS Newsletter Issue Six
FoCAS Newsletter Issue SixFoCAS Initiative
 
FoCAS Newsletter Issue Five
FoCAS Newsletter Issue FiveFoCAS Newsletter Issue Five
FoCAS Newsletter Issue FiveFoCAS Initiative
 
Temporal logics for multi-agent systems
Temporal logics for multi-agent systemsTemporal logics for multi-agent systems
Temporal logics for multi-agent systemsFoCAS Initiative
 
Advanced Systems Engineering
Advanced Systems EngineeringAdvanced Systems Engineering
Advanced Systems EngineeringFoCAS Initiative
 
Artificial software diversity: automatic synthesis of program sosies
Artificial software diversity: automatic synthesis of program sosiesArtificial software diversity: automatic synthesis of program sosies
Artificial software diversity: automatic synthesis of program sosiesFoCAS Initiative
 
Tailored source-code-transformation-synthesize-computationally-diverse-progra...
Tailored source-code-transformation-synthesize-computationally-diverse-progra...Tailored source-code-transformation-synthesize-computationally-diverse-progra...
Tailored source-code-transformation-synthesize-computationally-diverse-progra...FoCAS Initiative
 
Search Diverse Models for Proactive Software Diversification
Search Diverse Models for Proactive Software DiversificationSearch Diverse Models for Proactive Software Diversification
Search Diverse Models for Proactive Software DiversificationFoCAS Initiative
 
Modelling Adaptation Policies As Domain-Specific Constraints
Modelling Adaptation Policies As Domain-Specific ConstraintsModelling Adaptation Policies As Domain-Specific Constraints
Modelling Adaptation Policies As Domain-Specific ConstraintsFoCAS Initiative
 
SOCIAL ADAPTATION OF ROBOTS FOR MODULATING SELF-ORGANIZATION IN ANIMAL SOCIETIES
SOCIAL ADAPTATION OF ROBOTS FOR MODULATING SELF-ORGANIZATION IN ANIMAL SOCIETIESSOCIAL ADAPTATION OF ROBOTS FOR MODULATING SELF-ORGANIZATION IN ANIMAL SOCIETIES
SOCIAL ADAPTATION OF ROBOTS FOR MODULATING SELF-ORGANIZATION IN ANIMAL SOCIETIESFoCAS Initiative
 
Scalability Issues of Firefly-Based Self-Synchronization in Collective Adapti...
Scalability Issues of Firefly-Based Self-Synchronization in Collective Adapti...Scalability Issues of Firefly-Based Self-Synchronization in Collective Adapti...
Scalability Issues of Firefly-Based Self-Synchronization in Collective Adapti...FoCAS Initiative
 
Modelling residential smart energy schemes
Modelling residential smart energy schemesModelling residential smart energy schemes
Modelling residential smart energy schemesFoCAS Initiative
 
On the "Local-to-Global" Issue in Self-Organisation Chemical Reactions with C...
On the "Local-to-Global" Issue in Self-Organisation Chemical Reactions with C...On the "Local-to-Global" Issue in Self-Organisation Chemical Reactions with C...
On the "Local-to-Global" Issue in Self-Organisation Chemical Reactions with C...FoCAS Initiative
 
Data verifi cation for collective adaptive systems: spatial model-checking of...
Data verification for collective adaptive systems: spatial model-checking of...Data verification for collective adaptive systems: spatial model-checking of...
Data verifi cation for collective adaptive systems: spatial model-checking of...FoCAS Initiative
 

Mehr von FoCAS Initiative (20)

Final FoCAS Newsletter, Issue Eight, Winter 2016
Final FoCAS Newsletter, Issue Eight, Winter 2016Final FoCAS Newsletter, Issue Eight, Winter 2016
Final FoCAS Newsletter, Issue Eight, Winter 2016
 
Optimal Floor Heating
Optimal Floor HeatingOptimal Floor Heating
Optimal Floor Heating
 
Advanced Manufacturing: An Industrial Application for Collective Adaptive Sys...
Advanced Manufacturing: An Industrial Application for Collective Adaptive Sys...Advanced Manufacturing: An Industrial Application for Collective Adaptive Sys...
Advanced Manufacturing: An Industrial Application for Collective Adaptive Sys...
 
FoCAS Newsletter Issue Seven
FoCAS Newsletter Issue SevenFoCAS Newsletter Issue Seven
FoCAS Newsletter Issue Seven
 
Wrangling Complex Systems
Wrangling Complex SystemsWrangling Complex Systems
Wrangling Complex Systems
 
Sustainability Challenges In A Complex World
Sustainability Challenges In A Complex WorldSustainability Challenges In A Complex World
Sustainability Challenges In A Complex World
 
FoCAS Newsletter Issue Six
FoCAS Newsletter Issue SixFoCAS Newsletter Issue Six
FoCAS Newsletter Issue Six
 
FoCAS Newsletter Issue Five
FoCAS Newsletter Issue FiveFoCAS Newsletter Issue Five
FoCAS Newsletter Issue Five
 
Temporal logics for multi-agent systems
Temporal logics for multi-agent systemsTemporal logics for multi-agent systems
Temporal logics for multi-agent systems
 
Advanced Systems Engineering
Advanced Systems EngineeringAdvanced Systems Engineering
Advanced Systems Engineering
 
Artificial software diversity: automatic synthesis of program sosies
Artificial software diversity: automatic synthesis of program sosiesArtificial software diversity: automatic synthesis of program sosies
Artificial software diversity: automatic synthesis of program sosies
 
Tailored source-code-transformation-synthesize-computationally-diverse-progra...
Tailored source-code-transformation-synthesize-computationally-diverse-progra...Tailored source-code-transformation-synthesize-computationally-diverse-progra...
Tailored source-code-transformation-synthesize-computationally-diverse-progra...
 
Search Diverse Models for Proactive Software Diversification
Search Diverse Models for Proactive Software DiversificationSearch Diverse Models for Proactive Software Diversification
Search Diverse Models for Proactive Software Diversification
 
Modelling Adaptation Policies As Domain-Specific Constraints
Modelling Adaptation Policies As Domain-Specific ConstraintsModelling Adaptation Policies As Domain-Specific Constraints
Modelling Adaptation Policies As Domain-Specific Constraints
 
Quantified NTL
Quantified NTLQuantified NTL
Quantified NTL
 
SOCIAL ADAPTATION OF ROBOTS FOR MODULATING SELF-ORGANIZATION IN ANIMAL SOCIETIES
SOCIAL ADAPTATION OF ROBOTS FOR MODULATING SELF-ORGANIZATION IN ANIMAL SOCIETIESSOCIAL ADAPTATION OF ROBOTS FOR MODULATING SELF-ORGANIZATION IN ANIMAL SOCIETIES
SOCIAL ADAPTATION OF ROBOTS FOR MODULATING SELF-ORGANIZATION IN ANIMAL SOCIETIES
 
Scalability Issues of Firefly-Based Self-Synchronization in Collective Adapti...
Scalability Issues of Firefly-Based Self-Synchronization in Collective Adapti...Scalability Issues of Firefly-Based Self-Synchronization in Collective Adapti...
Scalability Issues of Firefly-Based Self-Synchronization in Collective Adapti...
 
Modelling residential smart energy schemes
Modelling residential smart energy schemesModelling residential smart energy schemes
Modelling residential smart energy schemes
 
On the "Local-to-Global" Issue in Self-Organisation Chemical Reactions with C...
On the "Local-to-Global" Issue in Self-Organisation Chemical Reactions with C...On the "Local-to-Global" Issue in Self-Organisation Chemical Reactions with C...
On the "Local-to-Global" Issue in Self-Organisation Chemical Reactions with C...
 
Data verifi cation for collective adaptive systems: spatial model-checking of...
Data verification for collective adaptive systems: spatial model-checking of...Data verification for collective adaptive systems: spatial model-checking of...
Data verifi cation for collective adaptive systems: spatial model-checking of...
 

Kürzlich hochgeladen

Human Factors of XR: Using Human Factors to Design XR Systems
Human Factors of XR: Using Human Factors to Design XR SystemsHuman Factors of XR: Using Human Factors to Design XR Systems
Human Factors of XR: Using Human Factors to Design XR SystemsMark Billinghurst
 
My INSURER PTE LTD - Insurtech Innovation Award 2024
My INSURER PTE LTD - Insurtech Innovation Award 2024My INSURER PTE LTD - Insurtech Innovation Award 2024
My INSURER PTE LTD - Insurtech Innovation Award 2024The Digital Insurer
 
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmaticsKotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmaticscarlostorres15106
 
SAP Build Work Zone - Overview L2-L3.pptx
SAP Build Work Zone - Overview L2-L3.pptxSAP Build Work Zone - Overview L2-L3.pptx
SAP Build Work Zone - Overview L2-L3.pptxNavinnSomaal
 
New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024BookNet Canada
 
"Debugging python applications inside k8s environment", Andrii Soldatenko
"Debugging python applications inside k8s environment", Andrii Soldatenko"Debugging python applications inside k8s environment", Andrii Soldatenko
"Debugging python applications inside k8s environment", Andrii SoldatenkoFwdays
 
AI as an Interface for Commercial Buildings
AI as an Interface for Commercial BuildingsAI as an Interface for Commercial Buildings
AI as an Interface for Commercial BuildingsMemoori
 
Integration and Automation in Practice: CI/CD in Mule Integration and Automat...
Integration and Automation in Practice: CI/CD in Mule Integration and Automat...Integration and Automation in Practice: CI/CD in Mule Integration and Automat...
Integration and Automation in Practice: CI/CD in Mule Integration and Automat...Patryk Bandurski
 
Search Engine Optimization SEO PDF for 2024.pdf
Search Engine Optimization SEO PDF for 2024.pdfSearch Engine Optimization SEO PDF for 2024.pdf
Search Engine Optimization SEO PDF for 2024.pdfRankYa
 
SIP trunking in Janus @ Kamailio World 2024
SIP trunking in Janus @ Kamailio World 2024SIP trunking in Janus @ Kamailio World 2024
SIP trunking in Janus @ Kamailio World 2024Lorenzo Miniero
 
Unraveling Multimodality with Large Language Models.pdf
Unraveling Multimodality with Large Language Models.pdfUnraveling Multimodality with Large Language Models.pdf
Unraveling Multimodality with Large Language Models.pdfAlex Barbosa Coqueiro
 
WordPress Websites for Engineers: Elevate Your Brand
WordPress Websites for Engineers: Elevate Your BrandWordPress Websites for Engineers: Elevate Your Brand
WordPress Websites for Engineers: Elevate Your Brandgvaughan
 
Streamlining Python Development: A Guide to a Modern Project Setup
Streamlining Python Development: A Guide to a Modern Project SetupStreamlining Python Development: A Guide to a Modern Project Setup
Streamlining Python Development: A Guide to a Modern Project SetupFlorian Wilhelm
 
Powerpoint exploring the locations used in television show Time Clash
Powerpoint exploring the locations used in television show Time ClashPowerpoint exploring the locations used in television show Time Clash
Powerpoint exploring the locations used in television show Time Clashcharlottematthew16
 
Vertex AI Gemini Prompt Engineering Tips
Vertex AI Gemini Prompt Engineering TipsVertex AI Gemini Prompt Engineering Tips
Vertex AI Gemini Prompt Engineering TipsMiki Katsuragi
 
Tampa BSides - Chef's Tour of Microsoft Security Adoption Framework (SAF)
Tampa BSides - Chef's Tour of Microsoft Security Adoption Framework (SAF)Tampa BSides - Chef's Tour of Microsoft Security Adoption Framework (SAF)
Tampa BSides - Chef's Tour of Microsoft Security Adoption Framework (SAF)Mark Simos
 
The Future of Software Development - Devin AI Innovative Approach.pdf
The Future of Software Development - Devin AI Innovative Approach.pdfThe Future of Software Development - Devin AI Innovative Approach.pdf
The Future of Software Development - Devin AI Innovative Approach.pdfSeasiaInfotech2
 
Artificial intelligence in cctv survelliance.pptx
Artificial intelligence in cctv survelliance.pptxArtificial intelligence in cctv survelliance.pptx
Artificial intelligence in cctv survelliance.pptxhariprasad279825
 
Install Stable Diffusion in windows machine
Install Stable Diffusion in windows machineInstall Stable Diffusion in windows machine
Install Stable Diffusion in windows machinePadma Pradeep
 

Kürzlich hochgeladen (20)

E-Vehicle_Hacking_by_Parul Sharma_null_owasp.pptx
E-Vehicle_Hacking_by_Parul Sharma_null_owasp.pptxE-Vehicle_Hacking_by_Parul Sharma_null_owasp.pptx
E-Vehicle_Hacking_by_Parul Sharma_null_owasp.pptx
 
Human Factors of XR: Using Human Factors to Design XR Systems
Human Factors of XR: Using Human Factors to Design XR SystemsHuman Factors of XR: Using Human Factors to Design XR Systems
Human Factors of XR: Using Human Factors to Design XR Systems
 
My INSURER PTE LTD - Insurtech Innovation Award 2024
My INSURER PTE LTD - Insurtech Innovation Award 2024My INSURER PTE LTD - Insurtech Innovation Award 2024
My INSURER PTE LTD - Insurtech Innovation Award 2024
 
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmaticsKotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
 
SAP Build Work Zone - Overview L2-L3.pptx
SAP Build Work Zone - Overview L2-L3.pptxSAP Build Work Zone - Overview L2-L3.pptx
SAP Build Work Zone - Overview L2-L3.pptx
 
New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
 
"Debugging python applications inside k8s environment", Andrii Soldatenko
"Debugging python applications inside k8s environment", Andrii Soldatenko"Debugging python applications inside k8s environment", Andrii Soldatenko
"Debugging python applications inside k8s environment", Andrii Soldatenko
 
AI as an Interface for Commercial Buildings
AI as an Interface for Commercial BuildingsAI as an Interface for Commercial Buildings
AI as an Interface for Commercial Buildings
 
Integration and Automation in Practice: CI/CD in Mule Integration and Automat...
Integration and Automation in Practice: CI/CD in Mule Integration and Automat...Integration and Automation in Practice: CI/CD in Mule Integration and Automat...
Integration and Automation in Practice: CI/CD in Mule Integration and Automat...
 
Search Engine Optimization SEO PDF for 2024.pdf
Search Engine Optimization SEO PDF for 2024.pdfSearch Engine Optimization SEO PDF for 2024.pdf
Search Engine Optimization SEO PDF for 2024.pdf
 
SIP trunking in Janus @ Kamailio World 2024
SIP trunking in Janus @ Kamailio World 2024SIP trunking in Janus @ Kamailio World 2024
SIP trunking in Janus @ Kamailio World 2024
 
Unraveling Multimodality with Large Language Models.pdf
Unraveling Multimodality with Large Language Models.pdfUnraveling Multimodality with Large Language Models.pdf
Unraveling Multimodality with Large Language Models.pdf
 
WordPress Websites for Engineers: Elevate Your Brand
WordPress Websites for Engineers: Elevate Your BrandWordPress Websites for Engineers: Elevate Your Brand
WordPress Websites for Engineers: Elevate Your Brand
 
Streamlining Python Development: A Guide to a Modern Project Setup
Streamlining Python Development: A Guide to a Modern Project SetupStreamlining Python Development: A Guide to a Modern Project Setup
Streamlining Python Development: A Guide to a Modern Project Setup
 
Powerpoint exploring the locations used in television show Time Clash
Powerpoint exploring the locations used in television show Time ClashPowerpoint exploring the locations used in television show Time Clash
Powerpoint exploring the locations used in television show Time Clash
 
Vertex AI Gemini Prompt Engineering Tips
Vertex AI Gemini Prompt Engineering TipsVertex AI Gemini Prompt Engineering Tips
Vertex AI Gemini Prompt Engineering Tips
 
Tampa BSides - Chef's Tour of Microsoft Security Adoption Framework (SAF)
Tampa BSides - Chef's Tour of Microsoft Security Adoption Framework (SAF)Tampa BSides - Chef's Tour of Microsoft Security Adoption Framework (SAF)
Tampa BSides - Chef's Tour of Microsoft Security Adoption Framework (SAF)
 
The Future of Software Development - Devin AI Innovative Approach.pdf
The Future of Software Development - Devin AI Innovative Approach.pdfThe Future of Software Development - Devin AI Innovative Approach.pdf
The Future of Software Development - Devin AI Innovative Approach.pdf
 
Artificial intelligence in cctv survelliance.pptx
Artificial intelligence in cctv survelliance.pptxArtificial intelligence in cctv survelliance.pptx
Artificial intelligence in cctv survelliance.pptx
 
Install Stable Diffusion in windows machine
Install Stable Diffusion in windows machineInstall Stable Diffusion in windows machine
Install Stable Diffusion in windows machine
 

Where Shall We Have Lunch? Problems For A Computer-aided Future

  • 1. CONTEXT / BACKGROUND THE PROBLEM THE BIG QUESTIONS Where shall we have lunch? Problems for a computer-aided future Vivek Nallur Trinity College Dublin July 20, 2015
  • 2. CONTEXT / BACKGROUND THE PROBLEM THE BIG QUESTIONS THE BIG QUESTIONS The History of every major Galactic Civilization tends to pass through three distinct and recognizable phases, those of Survival, Inquiry and Sophistication, otherwise known as the How, Why, and Where phases. For instance, the first phase is characterized by the question ’How can we eat?’ the second by the question ’Why do we eat?’ and the third by the question ’Where shall we have lunch?’ — Douglas Adams, The Restaurant at the End of the Universe
  • 3. CONTEXT / BACKGROUND THE PROBLEM THE BIG QUESTIONS FRAMING THE QUESTION
  • 4. CONTEXT / BACKGROUND THE PROBLEM THE BIG QUESTIONS WHAT DOES IT MEAN TO BE A ‘SMART CITY’?
  • 5. CONTEXT / BACKGROUND THE PROBLEM THE BIG QUESTIONS SMART MOBILITY Figure: source - Amsterdam Smart City [www.amsterdamsmartcity.com]
  • 6. CONTEXT / BACKGROUND THE PROBLEM THE BIG QUESTIONS SMART HOMES
  • 7. CONTEXT / BACKGROUND THE PROBLEM THE BIG QUESTIONS SMART GRID
  • 8. CONTEXT / BACKGROUND THE PROBLEM THE BIG QUESTIONS SO, WHAT’S THE PROBLEM? Figure: Visualization of movement on the LondonUnderground
  • 9. CONTEXT / BACKGROUND THE PROBLEM THE BIG QUESTIONS EACH HOME IS A COMPLEX ADAPTIVE SYSTEM Figure: https://commons.wikimedia.org/wiki/File: Complex-adaptive-system.jpg
  • 10. CONTEXT / BACKGROUND THE PROBLEM THE BIG QUESTIONS IF DUBLIN WERE A SMART CITY Number of smart homes — 400,000 (approx) Number of smart buses — 950 (approx) Number of ‘ansibles’ — 1 million (approx) Number of Luas riders per day — 83,500 (approx) Number of Bus riders per day — 300, 000 (approx) How many feedback loops does this system have?
  • 11. CONTEXT / BACKGROUND THE PROBLEM THE BIG QUESTIONS LET’S HAVE LUNCH! My ansible can talk to your ansible Coordinate schedules Contact city transport network for options, pre-and-post lunch Find restaurants amenable to both palettes and budgets Make reservations Reserve place on city transport vehicles What could possibly go wrong?
  • 12. CONTEXT / BACKGROUND THE PROBLEM THE BIG QUESTIONS STRIKE! STRIKE! STRIKE! Talks breakdown between management and union Union announces demonstrations, sit-ins, protests Self-Adaptation By Smart Transport Network Re-route buses, trams Change schedules to accommodate rush Cancel reservations on public transport network, lying on strike route
  • 13. CONTEXT / BACKGROUND THE PROBLEM THE BIG QUESTIONS Self-Adaptation By Smart Grid Observe spike in power demand from tram-network Re-route power from residences to tram-network Start-up generators to cope with future demand in residences Self-Adaptation By Smart Home Change schedules of automated washing machines, dishwashers All non-essential appliances switched off Self-Adaptation By Ansibles Start charging EVs for un-missable appointments Cancel appointments that cannot be met Change schedules
  • 14. CONTEXT / BACKGROUND THE PROBLEM THE BIG QUESTIONS WHAT’S WRONG WITH ALL OF THAT? What happened to my lunch appointment? The ansible has no idea The smart-home has no idea The smart-grid has no idea Series of cascading events Disruption in schedules cause changes to traffic patterns Changed traffic patterns cause more power to be drawn by transport networks Sudden power demand causes brownouts in residential neighbourhoods
  • 15. CONTEXT / BACKGROUND THE PROBLEM THE BIG QUESTIONS AND YOU’RE JUST ONE IN A MILLION CITIZENS
  • 16. CONTEXT / BACKGROUND THE PROBLEM THE BIG QUESTIONS WAS THERE AN ACTUAL STRIKE? Can you trust an autonomous complex adaptive system? Which agent is responsible for failure? Can the system explain itself? What about emergent phenomena? Reasoning about failure When no single system has failed And no-one has the ‘big picture’
  • 17. CONTEXT / BACKGROUND THE PROBLEM THE BIG QUESTIONS ALREADY COMPLEX SYSTEMS ARE NERVE-WRACKING In Stock-Exchanges Flash crashes caused by high-frequency trading algorithms 60 - 70% of price movements caused by self-generated activity Oct, 2014 saw 179 mini-flash-crashes Air-Traffic Control December, 2014 – ATC shutdown airspace over London
  • 18. CONTEXT / BACKGROUND THE PROBLEM THE BIG QUESTIONS INTER-CONNECTED COMPLEX SYSTEMS Need Self-Explaining Mechanisms To account for humans in the loop To account to humans in the loop Will almost certainly experience Emergence
  • 19. CONTEXT / BACKGROUND THE PROBLEM THE BIG QUESTIONS QUESTIONS THAT WE DESPERATELY NEED ANSWERS TO What happens when one complex adaptive system meets another? Smart Homes meets Smart Mobility meets Smart Grid
  • 20. CONTEXT / BACKGROUND THE PROBLEM THE BIG QUESTIONS QUESTIONS THAT WE DESPERATELY NEED ANSWERS TO What happens when one complex adaptive system meets another? Smart Homes meets Smart Mobility meets Smart Grid How do we account for irrational human behaviour? I only eat vegetarian on Wednesdays, unless Loretta’s has saltimbocca alla Romana as the lunch special
  • 21. CONTEXT / BACKGROUND THE PROBLEM THE BIG QUESTIONS QUESTIONS THAT WE DESPERATELY NEED ANSWERS TO What happens when one complex adaptive system meets another? Smart Homes meets Smart Mobility meets Smart Grid How do we account for irrational human behaviour? I only eat vegetarian on Wednesdays, unless Loretta’s has saltimbocca alla Romana as the lunch special How far can we trust a socio-technical complex adaptive system? If my ansible says not to take the Waterloo line, then there must be a fault
  • 22. CONTEXT / BACKGROUND THE PROBLEM THE BIG QUESTIONS MORE TECHNICAL QUESTIONS ... How do we construct a socio-technical complex adaptive system?
  • 23. CONTEXT / BACKGROUND THE PROBLEM THE BIG QUESTIONS MORE TECHNICAL QUESTIONS ... How do we construct a socio-technical complex adaptive system? What kind of design philosophies exist for such systems?
  • 24. CONTEXT / BACKGROUND THE PROBLEM THE BIG QUESTIONS MORE TECHNICAL QUESTIONS ... How do we construct a socio-technical complex adaptive system? What kind of design philosophies exist for such systems? If emergence is a given, what are the implications for proof?
  • 25. CONTEXT / BACKGROUND THE PROBLEM THE BIG QUESTIONS THAT’S ALL, FOLKS! Questions? Comments?