SlideShare ist ein Scribd-Unternehmen logo
1 von 25
Downloaden Sie, um offline zu lesen
Copyright@2011 DCA-FEEC-UNICAMP
Andre Luis Ogando Paraense
DCA-FEEC-UNICAMP
Klaus Raizer, Ricardo Ribeiro Gudwin
DCA-FEEC-UNICAMP
BICA 2015 - Lyon,FR
A Machine Consciousness
Approach to Urban Traffic Signal
Control
Contribution
Motivation
Cognitive Systems Toolkit
Machine Consciouness Controller
Results
Conclusion
Q&A
Contribution
The main contribution of this work is the application of a
machine consciousness approach, based on the Global
Workspace Theory (Baars, 1988), to urban traffic signal
control, with the design and implementation of a solution to
the problem.
2 / 25
Contribution
Motivation
Cognitive Systems Toolkit
Machine Consciouness Controller
Results
Conclusion
Q&A
Traffic Jam Problems
Traffic Jam Problems
3 / 25
Contribution
Motivation
Cognitive Systems Toolkit
Machine Consciouness Controller
Results
Conclusion
Q&A
Core
Architecture
Core
proc()
In
B
Out
A
Codelet
Coderack Raw Memory
Coalition
T I
Memory Object (Sign)
4 / 25
Contribution
Motivation
Cognitive Systems Toolkit
Machine Consciouness Controller
Results
Conclusion
Q&A
Core
Architecture
Architecture
Procedural Memory
Working Memory
Perceptual Memory
Sensory Memory
Motor Memory
Episodic Memory Semantic Memory
Phonologic Loop
Visual Sketchpad
Episodic Buffer
Sensory
Codelets
Perceptual
Codelets
Attention
Codelets
Coderack Raw Memory
Emotional Codelets Learning Codelets
Consciousness
Language Codelets Consciousness Codelets
Imagination and
Planning
Codelets
Behavioral
Codelets
Motor
Codelets
5 / 25
Contribution
Motivation
Cognitive Systems Toolkit
Machine Consciouness Controller
Results
Conclusion
Q&A
Purely Reactive Behavior
6 / 25
Contribution
Motivation
Cognitive Systems Toolkit
Machine Consciouness Controller
Results
Conclusion
Q&A
Most Critical Traffic Situation
7 / 25
Contribution
Motivation
Cognitive Systems Toolkit
Machine Consciouness Controller
Results
Conclusion
Q&A
Broadcast, interference, deliberative behavior
8 / 25
Contribution
Motivation
Cognitive Systems Toolkit
Machine Consciouness Controller
Results
Conclusion
Q&A
Network Model
9 / 25
Contribution
Motivation
Cognitive Systems Toolkit
Machine Consciouness Controller
Results
Conclusion
Q&A
CST Controller
Working Memory
Sensory
Codelets
lane a:
LaneSensor
In
B
Out
A
lane b:
LaneSensor
In
B
Out
A
lane c:
LaneSensor
In
B
Out
A
lane d:
LaneSensor
In
B
Out
A
lane e:
LaneSensor
In
B
Out
A
lane f:
LaneSensor
In
B
Out
A
lane g:
LaneSensor
In
B
Out
A
lane h:
LaneSensor
In
B
Out
A
lane i:
LaneSensor
In
B
Out
A
lane j:
LaneSensor
In
B
Out
A
lane k:
LaneSensor
In
B
Out
A
Sensory Memory
lane a : VelocitiesMO
lane a: VehicleNumberMO
lane a: DistancesFromLightMO
lane k : VelocitiesMO
lane k: VehicleNumberMO
lane k: DistancesFromLightMO
.
.
.
Motor Memory
junction west:
TrafficLightActuator
In
B
Out
A
junction east:
TrafficLightActuator
In
B
Out
A
Motor
Codelets
junction east: PhaseMO
junction west: PhaseMO
Behavioral
Codelets
Consciousness
Codelets
junction east:
OpenSlowNearLight
VehiclesLanes
In
B
Out
A
junction west:
OpenSlowNearLight
VehiclesLanes
In
B
Out
A
consciousness:
SpotlightBroadcast
Controller
In
B
Out
A
junction east: ActivationMO
junction west: ActivationMO
10 / 25
Contribution
Motivation
Cognitive Systems Toolkit
Machine Consciouness Controller
Results
Conclusion
Q&A
Simple T
Corridor
Manhattan
Simple T Network Model
11 / 25
Contribution
Motivation
Cognitive Systems Toolkit
Machine Consciouness Controller
Results
Conclusion
Q&A
Simple T
Corridor
Manhattan
Simple T Result
00:00 02:00 04:00 06:00 08:00 10:00 12:00
time (h)
0
20
40
60
80
100
120
140
160
meantraveltime[s]
Fixed Times
Parallel Reactive
Artificial Consciousness
12 / 25
Contribution
Motivation
Cognitive Systems Toolkit
Machine Consciouness Controller
Results
Conclusion
Q&A
Simple T
Corridor
Manhattan
Corridor Network Model
13 / 25
Contribution
Motivation
Cognitive Systems Toolkit
Machine Consciouness Controller
Results
Conclusion
Q&A
Simple T
Corridor
Manhattan
Corridor Result
00:00 02:00 04:00 06:00 08:00 10:00 12:00
time (h)
0
60
120
180
240
300
360
420
480
540
600
meantraveltime[s]
Fixed Times
Parallel Reactive
Artificial Consciousness
14 / 25
Contribution
Motivation
Cognitive Systems Toolkit
Machine Consciouness Controller
Results
Conclusion
Q&A
Simple T
Corridor
Manhattan
Manhattan Network Model
15 / 25
Contribution
Motivation
Cognitive Systems Toolkit
Machine Consciouness Controller
Results
Conclusion
Q&A
Simple T
Corridor
Manhattan
Manhattan Result
00:00 10:00 20:00 30:00 40:00 50:00 60:00
time (h)
0
1000
2000
3000
4000
5000
6000
7000
8000
9000
10000
meantraveltime[s]
Fixed Times
Parallel Reactive
Artificial Consciousness
16 / 25
Contribution
Motivation
Cognitive Systems Toolkit
Machine Consciouness Controller
Results
Conclusion
Q&A
Conclusion
A consistent gain in performance with the ”Artificial
Consciousness” traffic signal controller during all simulation
time, throughout different simulated scenarios, could be
observed, ranging from around 13.8% to more than 21%.
This work supports the hypothesis that an artificial
consciousness mechanism, using global workspace theory can
bring advantages to the global task performed by a society of
parallel agents working together for a common goal.
17 / 25
Contribution
Motivation
Cognitive Systems Toolkit
Machine Consciouness Controller
Results
Conclusion
Q&A
Next steps - Downtown Campinas
18 / 25
Contribution
Motivation
Cognitive Systems Toolkit
Machine Consciouness Controller
Results
Conclusion
Q&A
Thank you!
email: paraense@dca.fee.unicamp.br
twitter: @AndreLOParaense
You can find more at https://github.com/CST-Group/cst
19 / 25
Contribution
Motivation
Cognitive Systems Toolkit
Machine Consciouness Controller
Results
Conclusion
Q&A
Reactive Controller Action Selection
1 Calculates its level of activation, which is given by equation 1.
a(t) =
c∈C
(1 − αVc(t) − βXc(t))
|C|
(1)
2 Determines the best phase among the possible ones.
3 Goes back to 1.
20 / 25
Contribution
Motivation
Cognitive Systems Toolkit
Machine Consciouness Controller
Results
Conclusion
Q&A
Reactive Controller Action Selection
1. Lane activation 2. Junction East 3. Best phase
c∈C
(1 − αVc(t) − βXc(t))
(2)
i=1→n
AT(i)
n
(3)
tl∈G
AT(tl) (4)
AT(g) = 0.09
AT(h) = 0.3
AT(i) = 0.85
AT(j) = 0.05
AT(k) = 0.13
ATJe = 0.858 Possible phases
1. G,G,R,G,G = 0.57
2. G,R,G,R,R = 0.94
3. R,R,G,R,G =
0.98 21 / 25
Contribution
Motivation
Cognitive Systems Toolkit
Machine Consciouness Controller
Results
Conclusion
Q&A
Machine Consciousness Controller Behavior
1 Defines the junction codelet with greater activation level,
which gains access to conscious global workspace while
respecting a minimum threshold. If none of the codelets
reaches the threshold, the system works unconsciously and
global workspace remains empty.
2 Broadcasts the sensory information of the conscious codelet.
3 Goes back to 1.
22 / 25
Contribution
Motivation
Cognitive Systems Toolkit
Machine Consciouness Controller
Results
Conclusion
Q&A
Broadcast interference rules
1 If one incoming lane of my junction is topologically connected
to one incoming lane of the conscious junction that has a red
light in its chosen phase, I must close it with a red light.
2 If one incoming lane of my junction is topologically connected
to one incoming lane of the conscious junction that has a
green light in its chosen phase, or if it is not connected at all,
I must open it with a green light.
23 / 25
Contribution
Motivation
Cognitive Systems Toolkit
Machine Consciouness Controller
Results
Conclusion
Q&A
Machine Consciousness Definition
Spotlight
24 / 25
Contribution
Motivation
Cognitive Systems Toolkit
Machine Consciouness Controller
Results
Conclusion
Q&A
Coalitions in CST
proc()
In
B
Out
A
Codelet
Coderack Raw Memory
Coalition
T I
Memory Object (Sign)
25 / 25

Weitere ähnliche Inhalte

Was ist angesagt?

Analysis of algorithms
Analysis of algorithmsAnalysis of algorithms
Analysis of algorithmsGanesh Solanke
 
Analysis and design of algorithms part2
Analysis and design of algorithms part2Analysis and design of algorithms part2
Analysis and design of algorithms part2Deepak John
 
Notion of an algorithm
Notion of an algorithmNotion of an algorithm
Notion of an algorithmNisha Soms
 
Design and Analysis of Algorithms
Design and Analysis of AlgorithmsDesign and Analysis of Algorithms
Design and Analysis of AlgorithmsSwapnil Agrawal
 
Anlysis and design of algorithms part 1
Anlysis and design of algorithms part 1Anlysis and design of algorithms part 1
Anlysis and design of algorithms part 1Deepak John
 
Design and analysis of computer algorithms
Design and analysis of computer algorithmsDesign and analysis of computer algorithms
Design and analysis of computer algorithms Krishna Chaytaniah
 
Design & Analysis of Algorithms Lecture Notes
Design & Analysis of Algorithms Lecture NotesDesign & Analysis of Algorithms Lecture Notes
Design & Analysis of Algorithms Lecture NotesFellowBuddy.com
 
Algorithms Lecture 2: Analysis of Algorithms I
Algorithms Lecture 2: Analysis of Algorithms IAlgorithms Lecture 2: Analysis of Algorithms I
Algorithms Lecture 2: Analysis of Algorithms IMohamed Loey
 
Computability and Complexity
Computability and ComplexityComputability and Complexity
Computability and ComplexityEdward Blurock
 
Lecture 1 objective and course plan
Lecture 1   objective and course planLecture 1   objective and course plan
Lecture 1 objective and course planjayavignesh86
 
Discrete time control systems
Discrete time control systemsDiscrete time control systems
Discrete time control systemsadd0103
 
Robust PID Controller Design for Non-Minimum Phase Systems using Magnitude Op...
Robust PID Controller Design for Non-Minimum Phase Systems using Magnitude Op...Robust PID Controller Design for Non-Minimum Phase Systems using Magnitude Op...
Robust PID Controller Design for Non-Minimum Phase Systems using Magnitude Op...IRJET Journal
 
Algorithms Lecture 1: Introduction to Algorithms
Algorithms Lecture 1: Introduction to AlgorithmsAlgorithms Lecture 1: Introduction to Algorithms
Algorithms Lecture 1: Introduction to AlgorithmsMohamed Loey
 

Was ist angesagt? (20)

Analysis of algorithms
Analysis of algorithmsAnalysis of algorithms
Analysis of algorithms
 
Analysis and design of algorithms part2
Analysis and design of algorithms part2Analysis and design of algorithms part2
Analysis and design of algorithms part2
 
Notion of an algorithm
Notion of an algorithmNotion of an algorithm
Notion of an algorithm
 
Daa notes 1
Daa notes 1Daa notes 1
Daa notes 1
 
Design & Analysis Of Algorithm
Design & Analysis Of AlgorithmDesign & Analysis Of Algorithm
Design & Analysis Of Algorithm
 
Daa notes 2
Daa notes 2Daa notes 2
Daa notes 2
 
Design and Analysis of Algorithms
Design and Analysis of AlgorithmsDesign and Analysis of Algorithms
Design and Analysis of Algorithms
 
Anlysis and design of algorithms part 1
Anlysis and design of algorithms part 1Anlysis and design of algorithms part 1
Anlysis and design of algorithms part 1
 
Design and analysis of computer algorithms
Design and analysis of computer algorithmsDesign and analysis of computer algorithms
Design and analysis of computer algorithms
 
Design & Analysis of Algorithms Lecture Notes
Design & Analysis of Algorithms Lecture NotesDesign & Analysis of Algorithms Lecture Notes
Design & Analysis of Algorithms Lecture Notes
 
Daa unit 1
Daa unit 1Daa unit 1
Daa unit 1
 
Empirical analysis
Empirical analysisEmpirical analysis
Empirical analysis
 
Algorithms Lecture 2: Analysis of Algorithms I
Algorithms Lecture 2: Analysis of Algorithms IAlgorithms Lecture 2: Analysis of Algorithms I
Algorithms Lecture 2: Analysis of Algorithms I
 
Computability and Complexity
Computability and ComplexityComputability and Complexity
Computability and Complexity
 
Lecture 1 objective and course plan
Lecture 1   objective and course planLecture 1   objective and course plan
Lecture 1 objective and course plan
 
Discrete time control systems
Discrete time control systemsDiscrete time control systems
Discrete time control systems
 
Robust PID Controller Design for Non-Minimum Phase Systems using Magnitude Op...
Robust PID Controller Design for Non-Minimum Phase Systems using Magnitude Op...Robust PID Controller Design for Non-Minimum Phase Systems using Magnitude Op...
Robust PID Controller Design for Non-Minimum Phase Systems using Magnitude Op...
 
Daa unit 1
Daa unit 1Daa unit 1
Daa unit 1
 
Ada notes
Ada notesAda notes
Ada notes
 
Algorithms Lecture 1: Introduction to Algorithms
Algorithms Lecture 1: Introduction to AlgorithmsAlgorithms Lecture 1: Introduction to Algorithms
Algorithms Lecture 1: Introduction to Algorithms
 

Andere mochten auch

Projeto comercial | Décimo Segundo Forró dos Advogados OAB Sergipe
Projeto comercial | Décimo Segundo Forró dos Advogados OAB SergipeProjeto comercial | Décimo Segundo Forró dos Advogados OAB Sergipe
Projeto comercial | Décimo Segundo Forró dos Advogados OAB SergipeAnderson Andinho
 
Los alumnos ante las nuevas tecnologías sin sonido
Los alumnos ante las nuevas tecnologías sin sonidoLos alumnos ante las nuevas tecnologías sin sonido
Los alumnos ante las nuevas tecnologías sin sonidoJimenita VS
 
Home Seller Guide - Fall 2015
Home Seller Guide - Fall 2015Home Seller Guide - Fall 2015
Home Seller Guide - Fall 2015Mia Burnham
 
#MME15: Modern Marketing Revolution: How Social Selling and Predictive Market...
#MME15: Modern Marketing Revolution: How Social Selling and Predictive Market...#MME15: Modern Marketing Revolution: How Social Selling and Predictive Market...
#MME15: Modern Marketing Revolution: How Social Selling and Predictive Market...Mintigo1
 
업사이클링최종
업사이클링최종업사이클링최종
업사이클링최종정우 윤
 
Foro ii sobre medios didácticos
Foro ii sobre medios didácticosForo ii sobre medios didácticos
Foro ii sobre medios didácticosMiguel Santana M.
 
Sachainchi guaviare-final
Sachainchi guaviare-finalSachainchi guaviare-final
Sachainchi guaviare-finalMundo-Chat
 
Tác phẩm của anima
Tác phẩm của animaTác phẩm của anima
Tác phẩm của animaDam Nguyen
 
Transmission
TransmissionTransmission
Transmissionniick2002
 

Andere mochten auch (12)

Projeto comercial | Décimo Segundo Forró dos Advogados OAB Sergipe
Projeto comercial | Décimo Segundo Forró dos Advogados OAB SergipeProjeto comercial | Décimo Segundo Forró dos Advogados OAB Sergipe
Projeto comercial | Décimo Segundo Forró dos Advogados OAB Sergipe
 
2015年10月Facebookページ投稿クリック数ランキング20
2015年10月Facebookページ投稿クリック数ランキング202015年10月Facebookページ投稿クリック数ランキング20
2015年10月Facebookページ投稿クリック数ランキング20
 
Los alumnos ante las nuevas tecnologías sin sonido
Los alumnos ante las nuevas tecnologías sin sonidoLos alumnos ante las nuevas tecnologías sin sonido
Los alumnos ante las nuevas tecnologías sin sonido
 
Home Seller Guide - Fall 2015
Home Seller Guide - Fall 2015Home Seller Guide - Fall 2015
Home Seller Guide - Fall 2015
 
#MME15: Modern Marketing Revolution: How Social Selling and Predictive Market...
#MME15: Modern Marketing Revolution: How Social Selling and Predictive Market...#MME15: Modern Marketing Revolution: How Social Selling and Predictive Market...
#MME15: Modern Marketing Revolution: How Social Selling and Predictive Market...
 
업사이클링최종
업사이클링최종업사이클링최종
업사이클링최종
 
Foro ii sobre medios didácticos
Foro ii sobre medios didácticosForo ii sobre medios didácticos
Foro ii sobre medios didácticos
 
Seminario 3
Seminario 3Seminario 3
Seminario 3
 
Mmlt poster
Mmlt posterMmlt poster
Mmlt poster
 
Sachainchi guaviare-final
Sachainchi guaviare-finalSachainchi guaviare-final
Sachainchi guaviare-final
 
Tác phẩm của anima
Tác phẩm của animaTác phẩm của anima
Tác phẩm của anima
 
Transmission
TransmissionTransmission
Transmission
 

Ähnlich wie A machine consciousness approach to urban traffic signal control

A machine consciousness approach to urban traffic signal control
A machine consciousness approach to urban traffic signal controlA machine consciousness approach to urban traffic signal control
A machine consciousness approach to urban traffic signal controlAndré Paraense
 
Master Thesis Presentation
Master Thesis PresentationMaster Thesis Presentation
Master Thesis PresentationMohamed Sobh
 
A calculus of mobile Real-Time processes
A calculus of mobile Real-Time processesA calculus of mobile Real-Time processes
A calculus of mobile Real-Time processesPolytechnique Montréal
 
Introduction to computing Processing and performance.pdf
Introduction to computing Processing and performance.pdfIntroduction to computing Processing and performance.pdf
Introduction to computing Processing and performance.pdfTulasiramKandula1
 
Discretizing of linear systems with time-delay Using method of Euler’s and Tu...
Discretizing of linear systems with time-delay Using method of Euler’s and Tu...Discretizing of linear systems with time-delay Using method of Euler’s and Tu...
Discretizing of linear systems with time-delay Using method of Euler’s and Tu...IJERA Editor
 
Natural Computing for Vehicular Networks
Natural Computing for Vehicular NetworksNatural Computing for Vehicular Networks
Natural Computing for Vehicular NetworksJamal Toutouh, PhD
 
Tech day ngobrol santai tensorflow
Tech day ngobrol santai tensorflowTech day ngobrol santai tensorflow
Tech day ngobrol santai tensorflowRamdhan Rizki
 
Sensor Fusion Study - Ch8. The Continuous-Time Kalman Filter [이해구]
Sensor Fusion Study - Ch8. The Continuous-Time Kalman Filter [이해구]Sensor Fusion Study - Ch8. The Continuous-Time Kalman Filter [이해구]
Sensor Fusion Study - Ch8. The Continuous-Time Kalman Filter [이해구]AI Robotics KR
 
B Eng Final Year Project Presentation
B Eng Final Year Project PresentationB Eng Final Year Project Presentation
B Eng Final Year Project Presentationjesujoseph
 
L1811_PID.pdf
L1811_PID.pdfL1811_PID.pdf
L1811_PID.pdfBaghdad
 
Keynote at IWLS 2017
Keynote at IWLS 2017Keynote at IWLS 2017
Keynote at IWLS 2017Manish Pandey
 
Implementasi Pemodelan Sistem Ke TeeChart 2
Implementasi Pemodelan Sistem Ke TeeChart  2Implementasi Pemodelan Sistem Ke TeeChart  2
Implementasi Pemodelan Sistem Ke TeeChart 2Lusiana Diyan
 
CP4151 ADSA unit1 Advanced Data Structures and Algorithms
CP4151 ADSA unit1 Advanced Data Structures and AlgorithmsCP4151 ADSA unit1 Advanced Data Structures and Algorithms
CP4151 ADSA unit1 Advanced Data Structures and AlgorithmsSheba41
 
Data Structures and Algorithm Analysis
Data Structures  and  Algorithm AnalysisData Structures  and  Algorithm Analysis
Data Structures and Algorithm AnalysisMary Margarat
 
Theta: a Framework for Abstraction Refinement-Based Model Checking
Theta: a Framework for Abstraction Refinement-Based Model CheckingTheta: a Framework for Abstraction Refinement-Based Model Checking
Theta: a Framework for Abstraction Refinement-Based Model CheckingAkos Hajdu
 

Ähnlich wie A machine consciousness approach to urban traffic signal control (20)

A machine consciousness approach to urban traffic signal control
A machine consciousness approach to urban traffic signal controlA machine consciousness approach to urban traffic signal control
A machine consciousness approach to urban traffic signal control
 
Master Thesis Presentation
Master Thesis PresentationMaster Thesis Presentation
Master Thesis Presentation
 
A calculus of mobile Real-Time processes
A calculus of mobile Real-Time processesA calculus of mobile Real-Time processes
A calculus of mobile Real-Time processes
 
Introduction to computing Processing and performance.pdf
Introduction to computing Processing and performance.pdfIntroduction to computing Processing and performance.pdf
Introduction to computing Processing and performance.pdf
 
Discretizing of linear systems with time-delay Using method of Euler’s and Tu...
Discretizing of linear systems with time-delay Using method of Euler’s and Tu...Discretizing of linear systems with time-delay Using method of Euler’s and Tu...
Discretizing of linear systems with time-delay Using method of Euler’s and Tu...
 
Natural Computing for Vehicular Networks
Natural Computing for Vehicular NetworksNatural Computing for Vehicular Networks
Natural Computing for Vehicular Networks
 
Tech day ngobrol santai tensorflow
Tech day ngobrol santai tensorflowTech day ngobrol santai tensorflow
Tech day ngobrol santai tensorflow
 
Sensor Fusion Study - Ch8. The Continuous-Time Kalman Filter [이해구]
Sensor Fusion Study - Ch8. The Continuous-Time Kalman Filter [이해구]Sensor Fusion Study - Ch8. The Continuous-Time Kalman Filter [이해구]
Sensor Fusion Study - Ch8. The Continuous-Time Kalman Filter [이해구]
 
Linux capacity planning
Linux capacity planningLinux capacity planning
Linux capacity planning
 
B Eng Final Year Project Presentation
B Eng Final Year Project PresentationB Eng Final Year Project Presentation
B Eng Final Year Project Presentation
 
matlab_simulink_for_control082p.pdf
matlab_simulink_for_control082p.pdfmatlab_simulink_for_control082p.pdf
matlab_simulink_for_control082p.pdf
 
dsp.pdf
dsp.pdfdsp.pdf
dsp.pdf
 
L1811_PID_experiment.pdf
L1811_PID_experiment.pdfL1811_PID_experiment.pdf
L1811_PID_experiment.pdf
 
L1811_PID.pdf
L1811_PID.pdfL1811_PID.pdf
L1811_PID.pdf
 
Keynote at IWLS 2017
Keynote at IWLS 2017Keynote at IWLS 2017
Keynote at IWLS 2017
 
Implementasi Pemodelan Sistem Ke TeeChart 2
Implementasi Pemodelan Sistem Ke TeeChart  2Implementasi Pemodelan Sistem Ke TeeChart  2
Implementasi Pemodelan Sistem Ke TeeChart 2
 
ALGO.ppt
ALGO.pptALGO.ppt
ALGO.ppt
 
CP4151 ADSA unit1 Advanced Data Structures and Algorithms
CP4151 ADSA unit1 Advanced Data Structures and AlgorithmsCP4151 ADSA unit1 Advanced Data Structures and Algorithms
CP4151 ADSA unit1 Advanced Data Structures and Algorithms
 
Data Structures and Algorithm Analysis
Data Structures  and  Algorithm AnalysisData Structures  and  Algorithm Analysis
Data Structures and Algorithm Analysis
 
Theta: a Framework for Abstraction Refinement-Based Model Checking
Theta: a Framework for Abstraction Refinement-Based Model CheckingTheta: a Framework for Abstraction Refinement-Based Model Checking
Theta: a Framework for Abstraction Refinement-Based Model Checking
 

Kürzlich hochgeladen

UNIT-V FMM.HYDRAULIC TURBINE - Construction and working
UNIT-V FMM.HYDRAULIC TURBINE - Construction and workingUNIT-V FMM.HYDRAULIC TURBINE - Construction and working
UNIT-V FMM.HYDRAULIC TURBINE - Construction and workingrknatarajan
 
Introduction to IEEE STANDARDS and its different types.pptx
Introduction to IEEE STANDARDS and its different types.pptxIntroduction to IEEE STANDARDS and its different types.pptx
Introduction to IEEE STANDARDS and its different types.pptxupamatechverse
 
Coefficient of Thermal Expansion and their Importance.pptx
Coefficient of Thermal Expansion and their Importance.pptxCoefficient of Thermal Expansion and their Importance.pptx
Coefficient of Thermal Expansion and their Importance.pptxAsutosh Ranjan
 
Call Girls in Nagpur Suman Call 7001035870 Meet With Nagpur Escorts
Call Girls in Nagpur Suman Call 7001035870 Meet With Nagpur EscortsCall Girls in Nagpur Suman Call 7001035870 Meet With Nagpur Escorts
Call Girls in Nagpur Suman Call 7001035870 Meet With Nagpur EscortsCall Girls in Nagpur High Profile
 
SPICE PARK APR2024 ( 6,793 SPICE Models )
SPICE PARK APR2024 ( 6,793 SPICE Models )SPICE PARK APR2024 ( 6,793 SPICE Models )
SPICE PARK APR2024 ( 6,793 SPICE Models )Tsuyoshi Horigome
 
(RIA) Call Girls Bhosari ( 7001035870 ) HI-Fi Pune Escorts Service
(RIA) Call Girls Bhosari ( 7001035870 ) HI-Fi Pune Escorts Service(RIA) Call Girls Bhosari ( 7001035870 ) HI-Fi Pune Escorts Service
(RIA) Call Girls Bhosari ( 7001035870 ) HI-Fi Pune Escorts Serviceranjana rawat
 
(TARA) Talegaon Dabhade Call Girls Just Call 7001035870 [ Cash on Delivery ] ...
(TARA) Talegaon Dabhade Call Girls Just Call 7001035870 [ Cash on Delivery ] ...(TARA) Talegaon Dabhade Call Girls Just Call 7001035870 [ Cash on Delivery ] ...
(TARA) Talegaon Dabhade Call Girls Just Call 7001035870 [ Cash on Delivery ] ...ranjana rawat
 
Top Rated Pune Call Girls Budhwar Peth ⟟ 6297143586 ⟟ Call Me For Genuine Se...
Top Rated  Pune Call Girls Budhwar Peth ⟟ 6297143586 ⟟ Call Me For Genuine Se...Top Rated  Pune Call Girls Budhwar Peth ⟟ 6297143586 ⟟ Call Me For Genuine Se...
Top Rated Pune Call Girls Budhwar Peth ⟟ 6297143586 ⟟ Call Me For Genuine Se...Call Girls in Nagpur High Profile
 
HARDNESS, FRACTURE TOUGHNESS AND STRENGTH OF CERAMICS
HARDNESS, FRACTURE TOUGHNESS AND STRENGTH OF CERAMICSHARDNESS, FRACTURE TOUGHNESS AND STRENGTH OF CERAMICS
HARDNESS, FRACTURE TOUGHNESS AND STRENGTH OF CERAMICSRajkumarAkumalla
 
(ANJALI) Dange Chowk Call Girls Just Call 7001035870 [ Cash on Delivery ] Pun...
(ANJALI) Dange Chowk Call Girls Just Call 7001035870 [ Cash on Delivery ] Pun...(ANJALI) Dange Chowk Call Girls Just Call 7001035870 [ Cash on Delivery ] Pun...
(ANJALI) Dange Chowk Call Girls Just Call 7001035870 [ Cash on Delivery ] Pun...ranjana rawat
 
Booking open Available Pune Call Girls Koregaon Park 6297143586 Call Hot Ind...
Booking open Available Pune Call Girls Koregaon Park  6297143586 Call Hot Ind...Booking open Available Pune Call Girls Koregaon Park  6297143586 Call Hot Ind...
Booking open Available Pune Call Girls Koregaon Park 6297143586 Call Hot Ind...Call Girls in Nagpur High Profile
 
High Profile Call Girls Nagpur Meera Call 7001035870 Meet With Nagpur Escorts
High Profile Call Girls Nagpur Meera Call 7001035870 Meet With Nagpur EscortsHigh Profile Call Girls Nagpur Meera Call 7001035870 Meet With Nagpur Escorts
High Profile Call Girls Nagpur Meera Call 7001035870 Meet With Nagpur EscortsCall Girls in Nagpur High Profile
 
(MEERA) Dapodi Call Girls Just Call 7001035870 [ Cash on Delivery ] Pune Escorts
(MEERA) Dapodi Call Girls Just Call 7001035870 [ Cash on Delivery ] Pune Escorts(MEERA) Dapodi Call Girls Just Call 7001035870 [ Cash on Delivery ] Pune Escorts
(MEERA) Dapodi Call Girls Just Call 7001035870 [ Cash on Delivery ] Pune Escortsranjana rawat
 
High Profile Call Girls Nagpur Isha Call 7001035870 Meet With Nagpur Escorts
High Profile Call Girls Nagpur Isha Call 7001035870 Meet With Nagpur EscortsHigh Profile Call Girls Nagpur Isha Call 7001035870 Meet With Nagpur Escorts
High Profile Call Girls Nagpur Isha Call 7001035870 Meet With Nagpur Escortsranjana rawat
 
Call Girls Service Nashik Vaishnavi 7001305949 Independent Escort Service Nashik
Call Girls Service Nashik Vaishnavi 7001305949 Independent Escort Service NashikCall Girls Service Nashik Vaishnavi 7001305949 Independent Escort Service Nashik
Call Girls Service Nashik Vaishnavi 7001305949 Independent Escort Service NashikCall Girls in Nagpur High Profile
 
OSVC_Meta-Data based Simulation Automation to overcome Verification Challenge...
OSVC_Meta-Data based Simulation Automation to overcome Verification Challenge...OSVC_Meta-Data based Simulation Automation to overcome Verification Challenge...
OSVC_Meta-Data based Simulation Automation to overcome Verification Challenge...Soham Mondal
 
Porous Ceramics seminar and technical writing
Porous Ceramics seminar and technical writingPorous Ceramics seminar and technical writing
Porous Ceramics seminar and technical writingrakeshbaidya232001
 
Decoding Kotlin - Your guide to solving the mysterious in Kotlin.pptx
Decoding Kotlin - Your guide to solving the mysterious in Kotlin.pptxDecoding Kotlin - Your guide to solving the mysterious in Kotlin.pptx
Decoding Kotlin - Your guide to solving the mysterious in Kotlin.pptxJoão Esperancinha
 

Kürzlich hochgeladen (20)

UNIT-V FMM.HYDRAULIC TURBINE - Construction and working
UNIT-V FMM.HYDRAULIC TURBINE - Construction and workingUNIT-V FMM.HYDRAULIC TURBINE - Construction and working
UNIT-V FMM.HYDRAULIC TURBINE - Construction and working
 
Introduction to IEEE STANDARDS and its different types.pptx
Introduction to IEEE STANDARDS and its different types.pptxIntroduction to IEEE STANDARDS and its different types.pptx
Introduction to IEEE STANDARDS and its different types.pptx
 
Coefficient of Thermal Expansion and their Importance.pptx
Coefficient of Thermal Expansion and their Importance.pptxCoefficient of Thermal Expansion and their Importance.pptx
Coefficient of Thermal Expansion and their Importance.pptx
 
Call Girls in Nagpur Suman Call 7001035870 Meet With Nagpur Escorts
Call Girls in Nagpur Suman Call 7001035870 Meet With Nagpur EscortsCall Girls in Nagpur Suman Call 7001035870 Meet With Nagpur Escorts
Call Girls in Nagpur Suman Call 7001035870 Meet With Nagpur Escorts
 
SPICE PARK APR2024 ( 6,793 SPICE Models )
SPICE PARK APR2024 ( 6,793 SPICE Models )SPICE PARK APR2024 ( 6,793 SPICE Models )
SPICE PARK APR2024 ( 6,793 SPICE Models )
 
(RIA) Call Girls Bhosari ( 7001035870 ) HI-Fi Pune Escorts Service
(RIA) Call Girls Bhosari ( 7001035870 ) HI-Fi Pune Escorts Service(RIA) Call Girls Bhosari ( 7001035870 ) HI-Fi Pune Escorts Service
(RIA) Call Girls Bhosari ( 7001035870 ) HI-Fi Pune Escorts Service
 
DJARUM4D - SLOT GACOR ONLINE | SLOT DEMO ONLINE
DJARUM4D - SLOT GACOR ONLINE | SLOT DEMO ONLINEDJARUM4D - SLOT GACOR ONLINE | SLOT DEMO ONLINE
DJARUM4D - SLOT GACOR ONLINE | SLOT DEMO ONLINE
 
(TARA) Talegaon Dabhade Call Girls Just Call 7001035870 [ Cash on Delivery ] ...
(TARA) Talegaon Dabhade Call Girls Just Call 7001035870 [ Cash on Delivery ] ...(TARA) Talegaon Dabhade Call Girls Just Call 7001035870 [ Cash on Delivery ] ...
(TARA) Talegaon Dabhade Call Girls Just Call 7001035870 [ Cash on Delivery ] ...
 
Top Rated Pune Call Girls Budhwar Peth ⟟ 6297143586 ⟟ Call Me For Genuine Se...
Top Rated  Pune Call Girls Budhwar Peth ⟟ 6297143586 ⟟ Call Me For Genuine Se...Top Rated  Pune Call Girls Budhwar Peth ⟟ 6297143586 ⟟ Call Me For Genuine Se...
Top Rated Pune Call Girls Budhwar Peth ⟟ 6297143586 ⟟ Call Me For Genuine Se...
 
HARDNESS, FRACTURE TOUGHNESS AND STRENGTH OF CERAMICS
HARDNESS, FRACTURE TOUGHNESS AND STRENGTH OF CERAMICSHARDNESS, FRACTURE TOUGHNESS AND STRENGTH OF CERAMICS
HARDNESS, FRACTURE TOUGHNESS AND STRENGTH OF CERAMICS
 
(ANJALI) Dange Chowk Call Girls Just Call 7001035870 [ Cash on Delivery ] Pun...
(ANJALI) Dange Chowk Call Girls Just Call 7001035870 [ Cash on Delivery ] Pun...(ANJALI) Dange Chowk Call Girls Just Call 7001035870 [ Cash on Delivery ] Pun...
(ANJALI) Dange Chowk Call Girls Just Call 7001035870 [ Cash on Delivery ] Pun...
 
Booking open Available Pune Call Girls Koregaon Park 6297143586 Call Hot Ind...
Booking open Available Pune Call Girls Koregaon Park  6297143586 Call Hot Ind...Booking open Available Pune Call Girls Koregaon Park  6297143586 Call Hot Ind...
Booking open Available Pune Call Girls Koregaon Park 6297143586 Call Hot Ind...
 
High Profile Call Girls Nagpur Meera Call 7001035870 Meet With Nagpur Escorts
High Profile Call Girls Nagpur Meera Call 7001035870 Meet With Nagpur EscortsHigh Profile Call Girls Nagpur Meera Call 7001035870 Meet With Nagpur Escorts
High Profile Call Girls Nagpur Meera Call 7001035870 Meet With Nagpur Escorts
 
(MEERA) Dapodi Call Girls Just Call 7001035870 [ Cash on Delivery ] Pune Escorts
(MEERA) Dapodi Call Girls Just Call 7001035870 [ Cash on Delivery ] Pune Escorts(MEERA) Dapodi Call Girls Just Call 7001035870 [ Cash on Delivery ] Pune Escorts
(MEERA) Dapodi Call Girls Just Call 7001035870 [ Cash on Delivery ] Pune Escorts
 
High Profile Call Girls Nagpur Isha Call 7001035870 Meet With Nagpur Escorts
High Profile Call Girls Nagpur Isha Call 7001035870 Meet With Nagpur EscortsHigh Profile Call Girls Nagpur Isha Call 7001035870 Meet With Nagpur Escorts
High Profile Call Girls Nagpur Isha Call 7001035870 Meet With Nagpur Escorts
 
Call Girls Service Nashik Vaishnavi 7001305949 Independent Escort Service Nashik
Call Girls Service Nashik Vaishnavi 7001305949 Independent Escort Service NashikCall Girls Service Nashik Vaishnavi 7001305949 Independent Escort Service Nashik
Call Girls Service Nashik Vaishnavi 7001305949 Independent Escort Service Nashik
 
OSVC_Meta-Data based Simulation Automation to overcome Verification Challenge...
OSVC_Meta-Data based Simulation Automation to overcome Verification Challenge...OSVC_Meta-Data based Simulation Automation to overcome Verification Challenge...
OSVC_Meta-Data based Simulation Automation to overcome Verification Challenge...
 
Porous Ceramics seminar and technical writing
Porous Ceramics seminar and technical writingPorous Ceramics seminar and technical writing
Porous Ceramics seminar and technical writing
 
Decoding Kotlin - Your guide to solving the mysterious in Kotlin.pptx
Decoding Kotlin - Your guide to solving the mysterious in Kotlin.pptxDecoding Kotlin - Your guide to solving the mysterious in Kotlin.pptx
Decoding Kotlin - Your guide to solving the mysterious in Kotlin.pptx
 
Roadmap to Membership of RICS - Pathways and Routes
Roadmap to Membership of RICS - Pathways and RoutesRoadmap to Membership of RICS - Pathways and Routes
Roadmap to Membership of RICS - Pathways and Routes
 

A machine consciousness approach to urban traffic signal control

  • 1. Copyright@2011 DCA-FEEC-UNICAMP Andre Luis Ogando Paraense DCA-FEEC-UNICAMP Klaus Raizer, Ricardo Ribeiro Gudwin DCA-FEEC-UNICAMP BICA 2015 - Lyon,FR A Machine Consciousness Approach to Urban Traffic Signal Control
  • 2. Contribution Motivation Cognitive Systems Toolkit Machine Consciouness Controller Results Conclusion Q&A Contribution The main contribution of this work is the application of a machine consciousness approach, based on the Global Workspace Theory (Baars, 1988), to urban traffic signal control, with the design and implementation of a solution to the problem. 2 / 25
  • 3. Contribution Motivation Cognitive Systems Toolkit Machine Consciouness Controller Results Conclusion Q&A Traffic Jam Problems Traffic Jam Problems 3 / 25
  • 4. Contribution Motivation Cognitive Systems Toolkit Machine Consciouness Controller Results Conclusion Q&A Core Architecture Core proc() In B Out A Codelet Coderack Raw Memory Coalition T I Memory Object (Sign) 4 / 25
  • 5. Contribution Motivation Cognitive Systems Toolkit Machine Consciouness Controller Results Conclusion Q&A Core Architecture Architecture Procedural Memory Working Memory Perceptual Memory Sensory Memory Motor Memory Episodic Memory Semantic Memory Phonologic Loop Visual Sketchpad Episodic Buffer Sensory Codelets Perceptual Codelets Attention Codelets Coderack Raw Memory Emotional Codelets Learning Codelets Consciousness Language Codelets Consciousness Codelets Imagination and Planning Codelets Behavioral Codelets Motor Codelets 5 / 25
  • 6. Contribution Motivation Cognitive Systems Toolkit Machine Consciouness Controller Results Conclusion Q&A Purely Reactive Behavior 6 / 25
  • 7. Contribution Motivation Cognitive Systems Toolkit Machine Consciouness Controller Results Conclusion Q&A Most Critical Traffic Situation 7 / 25
  • 8. Contribution Motivation Cognitive Systems Toolkit Machine Consciouness Controller Results Conclusion Q&A Broadcast, interference, deliberative behavior 8 / 25
  • 9. Contribution Motivation Cognitive Systems Toolkit Machine Consciouness Controller Results Conclusion Q&A Network Model 9 / 25
  • 10. Contribution Motivation Cognitive Systems Toolkit Machine Consciouness Controller Results Conclusion Q&A CST Controller Working Memory Sensory Codelets lane a: LaneSensor In B Out A lane b: LaneSensor In B Out A lane c: LaneSensor In B Out A lane d: LaneSensor In B Out A lane e: LaneSensor In B Out A lane f: LaneSensor In B Out A lane g: LaneSensor In B Out A lane h: LaneSensor In B Out A lane i: LaneSensor In B Out A lane j: LaneSensor In B Out A lane k: LaneSensor In B Out A Sensory Memory lane a : VelocitiesMO lane a: VehicleNumberMO lane a: DistancesFromLightMO lane k : VelocitiesMO lane k: VehicleNumberMO lane k: DistancesFromLightMO . . . Motor Memory junction west: TrafficLightActuator In B Out A junction east: TrafficLightActuator In B Out A Motor Codelets junction east: PhaseMO junction west: PhaseMO Behavioral Codelets Consciousness Codelets junction east: OpenSlowNearLight VehiclesLanes In B Out A junction west: OpenSlowNearLight VehiclesLanes In B Out A consciousness: SpotlightBroadcast Controller In B Out A junction east: ActivationMO junction west: ActivationMO 10 / 25
  • 11. Contribution Motivation Cognitive Systems Toolkit Machine Consciouness Controller Results Conclusion Q&A Simple T Corridor Manhattan Simple T Network Model 11 / 25
  • 12. Contribution Motivation Cognitive Systems Toolkit Machine Consciouness Controller Results Conclusion Q&A Simple T Corridor Manhattan Simple T Result 00:00 02:00 04:00 06:00 08:00 10:00 12:00 time (h) 0 20 40 60 80 100 120 140 160 meantraveltime[s] Fixed Times Parallel Reactive Artificial Consciousness 12 / 25
  • 13. Contribution Motivation Cognitive Systems Toolkit Machine Consciouness Controller Results Conclusion Q&A Simple T Corridor Manhattan Corridor Network Model 13 / 25
  • 14. Contribution Motivation Cognitive Systems Toolkit Machine Consciouness Controller Results Conclusion Q&A Simple T Corridor Manhattan Corridor Result 00:00 02:00 04:00 06:00 08:00 10:00 12:00 time (h) 0 60 120 180 240 300 360 420 480 540 600 meantraveltime[s] Fixed Times Parallel Reactive Artificial Consciousness 14 / 25
  • 15. Contribution Motivation Cognitive Systems Toolkit Machine Consciouness Controller Results Conclusion Q&A Simple T Corridor Manhattan Manhattan Network Model 15 / 25
  • 16. Contribution Motivation Cognitive Systems Toolkit Machine Consciouness Controller Results Conclusion Q&A Simple T Corridor Manhattan Manhattan Result 00:00 10:00 20:00 30:00 40:00 50:00 60:00 time (h) 0 1000 2000 3000 4000 5000 6000 7000 8000 9000 10000 meantraveltime[s] Fixed Times Parallel Reactive Artificial Consciousness 16 / 25
  • 17. Contribution Motivation Cognitive Systems Toolkit Machine Consciouness Controller Results Conclusion Q&A Conclusion A consistent gain in performance with the ”Artificial Consciousness” traffic signal controller during all simulation time, throughout different simulated scenarios, could be observed, ranging from around 13.8% to more than 21%. This work supports the hypothesis that an artificial consciousness mechanism, using global workspace theory can bring advantages to the global task performed by a society of parallel agents working together for a common goal. 17 / 25
  • 18. Contribution Motivation Cognitive Systems Toolkit Machine Consciouness Controller Results Conclusion Q&A Next steps - Downtown Campinas 18 / 25
  • 19. Contribution Motivation Cognitive Systems Toolkit Machine Consciouness Controller Results Conclusion Q&A Thank you! email: paraense@dca.fee.unicamp.br twitter: @AndreLOParaense You can find more at https://github.com/CST-Group/cst 19 / 25
  • 20. Contribution Motivation Cognitive Systems Toolkit Machine Consciouness Controller Results Conclusion Q&A Reactive Controller Action Selection 1 Calculates its level of activation, which is given by equation 1. a(t) = c∈C (1 − αVc(t) − βXc(t)) |C| (1) 2 Determines the best phase among the possible ones. 3 Goes back to 1. 20 / 25
  • 21. Contribution Motivation Cognitive Systems Toolkit Machine Consciouness Controller Results Conclusion Q&A Reactive Controller Action Selection 1. Lane activation 2. Junction East 3. Best phase c∈C (1 − αVc(t) − βXc(t)) (2) i=1→n AT(i) n (3) tl∈G AT(tl) (4) AT(g) = 0.09 AT(h) = 0.3 AT(i) = 0.85 AT(j) = 0.05 AT(k) = 0.13 ATJe = 0.858 Possible phases 1. G,G,R,G,G = 0.57 2. G,R,G,R,R = 0.94 3. R,R,G,R,G = 0.98 21 / 25
  • 22. Contribution Motivation Cognitive Systems Toolkit Machine Consciouness Controller Results Conclusion Q&A Machine Consciousness Controller Behavior 1 Defines the junction codelet with greater activation level, which gains access to conscious global workspace while respecting a minimum threshold. If none of the codelets reaches the threshold, the system works unconsciously and global workspace remains empty. 2 Broadcasts the sensory information of the conscious codelet. 3 Goes back to 1. 22 / 25
  • 23. Contribution Motivation Cognitive Systems Toolkit Machine Consciouness Controller Results Conclusion Q&A Broadcast interference rules 1 If one incoming lane of my junction is topologically connected to one incoming lane of the conscious junction that has a red light in its chosen phase, I must close it with a red light. 2 If one incoming lane of my junction is topologically connected to one incoming lane of the conscious junction that has a green light in its chosen phase, or if it is not connected at all, I must open it with a green light. 23 / 25
  • 24. Contribution Motivation Cognitive Systems Toolkit Machine Consciouness Controller Results Conclusion Q&A Machine Consciousness Definition Spotlight 24 / 25
  • 25. Contribution Motivation Cognitive Systems Toolkit Machine Consciouness Controller Results Conclusion Q&A Coalitions in CST proc() In B Out A Codelet Coderack Raw Memory Coalition T I Memory Object (Sign) 25 / 25