Quantum Computational Intelligence PPT SLIDES

Quantum Computational Intelligence
Instructor:Marek Andrzej Perkowski
Textbook:Quantum Inspired Intelligent System
Download Slides from here

1. Motivation to Quantum Computing.


2. Quantum Entanglement and EPR circuit.


3. Quantum Circuits Analysis and Synthesis.


4. Informal introduction to Grover Algorithm.


5. Designing Oracles for Grover Algorithm and Homework.


6. Comparison of quantum and probabilistic concepts.


7. Deutsch's Algorithm.ppt


8. Simon Algorithm.


9. Grover more formally. Part 1.


10. Grover part 2.


11. Example of good project from a student

Basic Sequencial Machine Theory and Synchronous Finite State Machines PPT SLIDES

Basic Sequencial Machine Theory and Synchronous Finite State Machines
Instructor:Marek A.Perkowski
Textbook: Sequencial Machine Theory and Synchronous Finite State Machines
Download Slides from here

Lecture 1. Introduction to Sequential Machine Theory. Why Sequential Theory, software/hardware. Lecture 2. Equivalence. Deterministic and Non-Deterministic Finite Automata.

Lecture 3. Regular Languages. Languages and Formal Languages. Strings and substrings.

Lecture 4. Deterministic FA/PDA. Numerical Acceptor. Languages accepted by FA.

Lecture 6.  Regular Expression Manipulation FSM model. Null Machine

Lecture 7. Behavioral Equivalence. Examples. Verifying behavioral equivalence of FSMs.

Lecture 8. Morphisms of State Machines. Free semi-groups. Concatenation.

Advanced FSM minimization. In PDF format.

Rule Based State Assignment. In PDF format. Flip-flops. FSM equations.

State assignment using multiline and partitions. In PDF format.

Example of using state assignment based on rules. In PDF format.

Design of Sequencial Circuits PPT and PDF SLIDES

Design of Sequencial Circuits
Instructor:Marek A.Perkowski
Textbook: Switching and Finite Automata Theory by Zvi Kohavi
Download Slides from here

Finite State Machines and their minimization.

1. Review of Finite State Machines.


2. Introduction to Minimization of Finite State Machines. Completely Specified Machines.

 

Minimization, state assignment and realization of Finite State Machines.

1. Minimization of FSMs.


2. Advanced FSM minization and assignment.


3. FSM State Encoding

State Assignment of FSMs. Advanced methods and partition theory.

1. Rule based state assignment.


2. State assignment using-multiline and partitions.


3. Example of state assignment using rules.


4. Encoding based on partitions.

Design of FSM from Flowcharts and similar techniques.

1. Addition and Subtraction with Signed-Magnitude Data. PPT slides from Mano. Use of flowcharts.Ciesielski. RTL design. Slides in PDF. HSlides in PDF. Control logic design by Ciesielski.


2. Marek Perkowski et al. Automatic Design of Finite State Machines with Electrically Programmable Devices. Paper in PDF.


3. Marek Perkowski. Symbolic Analysis of Sequential and Parallel Program Schemata in the Digital Design Automation System. Paper in PDF.


4. 4.       FSM implementation in VHDL. PPT slides.

Some more slides on Flowcharts and similar techniques  

1. Slides in PDF on Design using flow-charts.


2. Slides in PDF from Mano about basic design on RTL level using flowcharts.


3. Davis. State Machine Design methods. Flowcharts. Slides in PDF>


4. Sequencing and Control. Slides in PPT. Fundamental.


5. Slides in PPT. Instructions in microprocessor. Addressing modes.Slides in PDF in control unit design using flowchart and HDL.


6. Lectures on Assembly Language for Intel Based computers. FSM. While Operator. Flow-charts. Slides in PPT.


7. Slides in PDF> Special Topics in Advanced Digital System Design. Boards and tools.


8. Mano Chapter 8. Slides in PPT about flow-charting and control design.


9. Slides in PPT about Multi-cycle control.


10. Lecture on DSP processor fundamentals. PDF format.


11. Timing of FSM and FFs. Slides in Postscript. Mano. Slides in PDF on assembly leved processor design.

Decomposition of Finite State Machines. Serial and Parallel Decomposition. Links to Encoding.

1. Introduction to experiments with Finite Automata.


2. Examples of homing and synchronizing experiments.


3. Advanced FSM Decomposition Theory.


4. Lecture in PDF on Testing and Testable Design of Digital Circuits.


5. Randomized Parallel Algorithms for the Homing Problem. Paper in PDF.


6. Homing and Synchronizing Sequences. Slides in PDF.


7. Slides in PDF. Principles and Methods of Testing FSM - A Survey.


8. State Identification; homing, synchronizing and distinquishing sequences. Slides in PDF.


9. Slides in PPT on Algorithmic Testing.

Asynchronous Automata.  

1. Introduction to asynchronous Automata.


2. Realization of asynchronous automata.


3. Marek Perkowski. Basic Asynchronous circuit design. File in PDF.

Asynchronous Automata. Asynchronous Systems.  

1. Metastability.


2. Self-timed asynchronous machines.


3. Design of self-synchronized state machines.

Cellular Automata.  

1. Introduction to Cellular Automata and Artificial Life.


2. Cellular Logic Illustrations.


3. Quantum Dot Cellular Automata.


4. Cellular Morphogenesis.

Cellular Automata in Physics. Reversible Cellular Automata. Simulations in biology and social life.

1.  Cellular Automata models in Engineering.


2.  Reversible Cellular Automata.


3. Physical Reversible Models of Cellular Automata.


4. Part 2 of Physical Reversible Models of Cellular Automata.


5. Part 3 of Physical Reversible Models of Cellular Automata.Artificial Life.


6. Cellular Automata Model for Fish and Shark.

Basic concepts of Sequential State Machine Theory. Non-deterministic and deterministic automata.   

1. Set Theory and Introduction to State Machine Theory.


2. Equivalence. Nondeterministic and Deterministic Finite Automata.

Regular Languages versus automata. Complete design procedure starting from regular expressions.  

1. Regular Languages and Regular Expressions.


2. Deterministic and Nondeterministic Finite Automata.


3.  Regular Expressions.


4.  Behavoral Equivalence. Mealy and Moore Automata.

Morphisms of Machines. Homomorphisms, epimosphisms, isomorphisms.

Advanced Embeded Robotics PPT and PDF SLIDES

Advanced Embeded Robotics
Instructor: Marke A.Perkowski
Textbook: Embedded Robotics , Thomas Braunl
Download Slides from here

PROPOSITIONAL LOGIC AND MODAL LOGIC IN ROBOTICS.

1. introduction to logic.


2. Basic Logic.


3. Reasoning Agents.


4. Representation and Logic.


5. First Order Logic. ADDITIONAL.


6. Boolean Logic.


7. Robot Morality and Review of classical logic.


8. Introduction to Satisfiability.


9. Wumpus world in Ppropositional logic.


10. A muddy children and intro to modal logic.


11. Wise Men, Muddy Children, Logic Puzzles and Modal Logic.


12. The Narrow Bridge Universe.


13. sum and product problem.

KNOWLEDGE REPRESENTATION AND PLANNING WITH FIRST ORDER LOGIC.

1. Introductio to Knowledge representation.


2. Introduction to Planning.


3. From propositional to predicate logic.


4. First order logic.


5. Inference in first order logic.


6. Examples of FIRST ORDER theorem-proving and Colonel West.


7. Artificial Intelligence in Logic. Prolog Language Tutorial.


8. ROBOT MORALITY. An easy introduction.


9. Prolog Planning Monkey and Banana.


10. Modal and Deontic Logic Derivations.

Mobile robots.

1. Class about autonomous mobile robots. In PDF.


2. Homework in mobile robot kinematics. In PDF format.


3. Measurement and correction of systematic odometry errors in mobile robots. Paper in PDF format.


4. Paper in PDF. Structural Properties and Classification of Kinematic and Dynamic Models of Wheeled Mobile Robots.

PROBABILISTIC ROBOTICS. LOCALIZATION. PLANNING. MAPPING.

Robot Localization and related topics.

1. Mobile robot positioning using sensor. In PDF.


2. Paper in PDF about Monte Carlo localization for mobile robots.


3. Paper on Experimental Comparison of localization methods in PDF.


4. Bayesian estimation and Kalman filtering: A Unified framework for Mobile Robot Localization. Paper in PDF.


5. Fingerprint for mobile robot localization in PDF.


6. Dynamic Markov localization approach, by Burgard, Derr, Fox and Cremers. Paper in PDF format.

• ·  Thesis by Philip Kedrowski about Self-building global maps for autonomous navigation. In PDF format.


• Lecture from CMU about Mapping. Slides in PPT format.

Robot Path Planning and related topics.

1. Planning-to-move.ppt Navigation and Metric Path Planning.


2. Lecture from CMU about Path planning for mobile robots. Slides in PDF format.


3. Paper about path planning for a mobile robot. In PDF.


4. New Paradigm for robot learning. In PDF.


5. Paper about fast obstable avoidence based on vector field histogram. In PDF.

===============================================================

STATIONARY ROBOTS.

1. Motion Planning for stationary robots.

1. Motion planning methods good for stationary robot with hands. In PDF.


2. Motion Planning that may be applied to any kind of robots. PDF.

ROBOT SOCCER AND SIMILAR IMPROVISATIONS.

1. Robot soccer competitions. Introduction to Robot Vision. Slides in PPT.


2. Vision Guided Motion. Slides in PDF.


3. Robot Soccer. Birgit Graf, student of Prof. Braunl. Here you can learn about Robot Soccer and their vision system in full detail. In PDF format.

ADVANCED PRACTICAL ALGORITHMS.

Matrix Calculations

1. Fast Parallel Algorithms for Matrix problems. Slides in PPT Format.

ROBOT COMPETITIONS, ROBOT TEAMS, AND ROBOT SOCIETIES.

1. Paper about autonomous driving mobile robot competitions. In PDF format.


2. Technical Activities of RAS. Slides in PPT.


3. A Probabilistic Approach to Collaborative Multi-Robot Localization. Paper in PDF.


4. Heterogeneous Team of Modular Robots for Mapping and Exploration. Paper in PDF by Robert Grabowski.


5. Lecture from CMU about coordination using search. In PDF format.


6. Lecture from CMU about developing autonomy for robots in teams. Slides in PDF format This has applications to robot soccer and robot theatre.


7. Paper about robot colony for entertainment. In PDF.

VARIOUS ROBOTIC ARCHITECTURES.

Behavior Based Robotics and Biological Models.

1. Slides in PPT about behavior based robot design. We discussed several similar ideas in class.


2. Robots and biological intelligence. PDF.


3. From Sensory Substitution to Situated Robots. Slides in PPT.

Emotional Robots.

1. Slides in PPT by Mark Brosnan about Affective computing. This material related to class project about robot theatre.

Evolutionary Robots.

1. Posters about evolutionary robotics from gecco-2002-23.pdf


2. Introduction to robot control. Slides in PDF.


3. Example of a world for a robot.

WALKING ROBOTS.

Small walking robots, especially KHR-01.

1. Slides on Kinematics and Animation of Humanoid Robots in PPT.


2. High Level Motion Control Slides in PPT.


3. Modeling humanoid robots in computer graphics. Slides in PPT.


4. Animation for computer graphics. Slides in PPT format.


5. David Vernon. Inexpensive humanoid robot architectures. In PDF.


6. Paper about humanoid Robots. They also use KHR-01. In PDF format.


7. Research in Humanoid robots from Brown University. In PPT format.


8. Random Morphology robot - Locomotion learning. One page, interesting and new. In PDF format.

Gaits for Walking robots

1. Gait evolution for biped robots using visual feedback. Paper in PDF.




3. Paper about Active Balancing using Gyroscopes for a Small Humanoid Robot. In PDF.

HUMAN-ROBOT AND HUMAN-COMPUTER INTERACTION.

1. Prof. Fumio Harashima about State of the Art in Human-Computer Interaction. Much about robotics. Slides in PDF format.


2. Lectures about Human-Robot Interaction. Slides in PDF.

ADDITINAL SLIDES ABOUT ROBOT VISION

Servos for projects.

1. Robotic System Servo Control. Presentation of Jeff Allen as a lecturer in class. Slides in PPT.

Sensors

1. Sensors and their role in new approaches to perception. Slides in PPT.


2. Digital Resistive sensors. Slides in PPT.


3. Analog Resistive sensors. Slides in PPT.


4. Overview of sensors. Slides in PPT.

Cameras and Visual Servoing

1. Cameras. Visual Servoing. Slides in PPT.


2. Visual Servoing for a mobile robot. Paper in PDF.


3. Paper by Zhang on camera calibration in PDF.


4. Camera Calibration for 3D vision. In PDF.

BASIC ROBOT VISION.

 

1. Edge detection and feature extraction algorithms. Slides in PPT.

1. Labeling and sequential algorithms. Slides in PPT.


2. Histogramming. Soccer robot vision. Slides in PPT.

1. Walsh Transforms and butterflies. Slides in PPT.


2. Walsh Matrix. Slides in PPT.


3. Spectral Transforms and Image Processing software. Slides in PPT.


4. Walsh and Fourier Transforms. Butterflies. Fast algorithms and their properties. Use of spectral methods in robot vision. Slides in PPT.


5. Hough Transforms. Slides in PPT.

Hough Transforms and Quad Trees

1. Hough Transform application in a mobile robot for corridor navigation. Slides in PPT.


2. Quad trees and Oct-trees. Slides in PPT.

Thinning Algorithms

1. Thinning algorithms. Slides in PPT.

Vision for Robot Localization

1. Vision for robot localization by Ulrich. Paper in PDF. 

Region Segmentation

1. Region Segmentation. Slides in PDF format.

Wavelets

1. Slides in PDF about wavelets.


2. Beyond wavelets and JPEG 2000. Slides in PPT format.

Tracking.

1. Lecture about Tracking Devices for humans, for instance built into glasses. In PDF format.

 

MATLAB AND MATLAB IN ROBOT VISION.

1. matlab1.pdf Lectures on Matlab. Lecture 1. Introduction to Matlab.


2. matlab2.pdf Lectures on Matlab. Lecture 2. More Matlab Programming.


3. matlab3.pdf Lectures on Matlab. Lecture 3. Finishing with Matlab.


4. matlab4.pdf Lectures on Matlab. Lecture 4. Finishing with Matlab.


5. Lecture on Introduction and Control Basic to Matlab. In PDF.


6. The same lecture in PPT.


7. Matlab Primer in PDF.


8. Introduction to Matlab in PPT.


9. Matlab two-dimensional plots in PPT.


10. Matlab Script and Function files in PPT.


11. Simple Programming in Matlab in PPT.


12. Solution of non-linear algebraic equations in Matlab. PPT format.