Haptic Interfaces and Force-Control Robotic Application in Medical and Industrial Contexts Applicants Prof. Doo Yong Lee, KAIST Prof. Rolf Johansson,

Slides:



Advertisements
Similar presentations
Developed by Reneta Barneva, SUNY Fredonia
Advertisements

Robotics, Intelligent Sensing and Control Lab (RISC) University of Bridgeport Department of Computer Science and Engineering Robotics, Intelligent Sensing.
Reseach in DistriNet (department of computer science, K.U.Leuven) General overview and focus on embedded systems task-force.
NSF Foundations of Hybrid and Embedded Software Systems UC Berkeley: Chess Vanderbilt University: ISIS University of Memphis: MSI A New System Science.
February 21, 2008 Center for Hybrid and Embedded Software Systems Organization Board of Directors Edward A. Lee, UC Berkeley.
CS599 Software Engineering for Embedded Systems1 Software Engineering for Real-Time: A Roadmap Presentation by: Mandar Samant Raghbir Singh Banwait.
Knowledge Acquisitioning. Definition The transfer and transformation of potential problem solving expertise from some knowledge source to a program.
From Discrete Mathematics to AI applications: A progression path for an undergraduate program in math Abdul Huq Middle East College of Information Technology,
Chapter 13 Embedded Systems
NSF Foundations of Hybrid and Embedded Software Systems UC Berkeley: Chess Vanderbilt University: ISIS University of Memphis: MSI A New System Science.
1 IS112 – Chapter 1 Notes Computer Organization and Programming Professor Catherine Dwyer Fall 2005.
Report WG1 Software-Intensive Systems and New Computing Paradigms Cannes November 12-14, 2008 WG Leader: Martin Wirsing WG Depu ty Leaders: Jean-Pierre.
The Need of Unmanned Systems
 QUALITY ASSURANCE:  QA is defined as a procedure or set of procedures intended to ensure that a product or service under development (before work is.
Course Instructor: Aisha Azeem
CSC230 Software Design (Engineering)
EMBEDDED SOFTWARE Team victorious Team Victorious.
Use of Multimedia in Engineering. Mechatronics engineering is based on the combination from three basic engineering field that is mechaninal, electronics.
IT Job Roles Task 20. Software Engineer Job Description Software engineers are responsible for creating and maintaining software of various different.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 15 Slide 1 Real-time Systems 1.
VIRTUAL PROTOTYPING of ROBOTS DYNAMICS E. Tarabanov.
PROGRAMMING LANGUAGES The Study of Programming Languages.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 18 Slide 1 Software Reuse.
1 Chapter No 3 ICT IN Science,Maths,Modeling, Simulation.
REAL-TIME SOFTWARE SYSTEMS DEVELOPMENT Instructor: Dr. Hany H. Ammar Dept. of Computer Science and Electrical Engineering, WVU.
CLEANROOM SOFTWARE ENGINEERING.
Lecture 1 What is Modeling? What is Modeling? Creating a simplified version of reality Working with this version to understand or control some.
No: 1 CEMSIS 1 WP3 - Use of pre-developed products Key issues N. Thuy EDF R&D.
ECE 720T5 Winter 2014 Cyber-Physical Systems Rodolfo Pellizzoni.
Final evaluation of the Research Programme on Social Capital and Networks of Trust (SoCa) 2004 – 2007: What should the Academy of Finland learn.
EENG 1920 Chapter 1 The Engineering Design Process 1.
An Introduction to Software Architecture
Software Models (Cont.) 9/22/2015ICS 413 – Software Engineering1 -Component-based software engineering -Formal Development Model.
©Ian Sommerville 2000, Mejia-Alvarez 2009 Slide 1 Software Processes l Coherent sets of activities for specifying, designing, implementing and testing.
2 Systems Architecture, Fifth Edition Chapter Goals Describe the activities of information systems professionals Describe the technical knowledge of computer.
SCSC 311 Information Systems: hardware and software.
High Level Architecture Overview and Rules Thanks to: Dr. Judith Dahmann, and others from: Defense Modeling and Simulation Office phone: (703)
EEL Software development for real-time engineering systems.
Testing Workflow In the Unified Process and Agile/Scrum processes.
High Performance Embedded Computing © 2007 Elsevier Lecture 3: Design Methodologies Embedded Computing Systems Mikko Lipasti, adapted from M. Schulte Based.
High Performance Embedded Computing © 2007 Elsevier Chapter 1, part 2: Embedded Computing High Performance Embedded Computing Wayne Wolf.
The Balance Between Theoretical and Practical Work Within Electrical and Computer Engineering Courses Dr. Bahawodin Baha March Development Partnerships.
INTRO TO USABILITY Lecture 12. What is Usability?  Usability addresses the relationship between tools and their users. In order for a tool to be effective,
Software Engineering Prof. Ing. Ivo Vondrak, CSc. Dept. of Computer Science Technical University of Ostrava
Introduction to Software Engineering. Why SE? Software crisis manifested itself in several ways [1]: ◦ Project running over-time. ◦ Project running over-budget.
Chapter 7 Interactive Design and Prototyping Human Performance Engineering Robert W. Bailey, Ph.D. Third Edition.
Characterization of Force Sensor for Haptic sensing in Robotic Surgery Submitted by: Harsimran Jit Singh Dinesh Pankaj Dr. Amod Kumar Prof. V.Rihani.
Software Product Line Material based on slides and chapter by Linda M. Northrop, SEI.
Writing Systems Software in a Functional Language An Experience Report Iavor Diatchki, Thomas Hallgren, Mark Jones, Rebekah Leslie, Andrew Tolmach.
 For years, corporations have used computer-based simulations with employee-training programs, augmenting traditional on-the-job training with virtual.
Abstract A Structured Approach for Modular Design: A Plug and Play Middleware for Sensory Modules, Actuation Platforms, Task Descriptions and Implementations.
Haptic Interfaces and Force-Control Robotic Applications in Medical and Industrial Contexts Applicants Prof. Rolf Johansson, Lund University Prof. Doo.
August 2003 At A Glance The IRC is a platform independent, extensible, and adaptive framework that provides robust, interactive, and distributed control.
Slide 1 Service-centric Software Engineering. Slide 2 Objectives To explain the notion of a reusable service, based on web service standards, that provides.
Introducing Design and Technologies. Victorian Curriculum F–10 Released in September 2015 as a central component of the Education State Provides a stable.
Formal Verification. Background Information Formal verification methods based on theorem proving techniques and model­checking –To prove the absence of.
Artificial Intelligence: Research and Collaborative Possibilities a presentation by: Dr. Ernest L. McDuffie, Assistant Professor Department of Computer.
Banaras Hindu University. A Course on Software Reuse by Design Patterns and Frameworks.
Enterprise Architectures Course Code : CPIS-352 King Abdul Aziz University, Jeddah Saudi Arabia.
Introduction to Mechatronics System Design
Chapter 1 Computer Technology: Your Need to Know
Luca Pazzi, Marco Pradelli University of Modena and Reggio Emilia
Parallel Patterns.
Definition CASE tools are software systems that are intended to provide automated support for routine activities in the software process such as editing.
Object-Oriented Software Engineering Using UML, Patterns, and Java,
What are your Career Options?
An Introduction to Software Architecture
Baisc Of Software Testing
Automated Analysis and Code Generation for Domain-Specific Models
Presented By: Darlene Banta
Presentation transcript:

Haptic Interfaces and Force-Control Robotic Application in Medical and Industrial Contexts Applicants Prof. Doo Yong Lee, KAIST Prof. Rolf Johansson, Lund University Dr. Magnus Annerstedt, LU, Dept Clinical Sciences, Div. Surgery

Research Issues Real-time force control and planning for bimanual robotic tasks. Software architecture for haptic interfaces in medical or industrial applications Biomedical simulation methodologies and technologies Tissue modeling for haptic interaction between vein and catheter Tissue and organ modeling for haptic interaction in ERCP simulation ** ERCP (Endoscopic Retrograde Cholangio-pancreatography)

Research Interaction Joint research project on the haptic interfaces and force-control robotic application in both medical and industrial contexts. Mutual visits of research staff (including Ph.D. course students) visiting KAIST and LU for sabbatical or conducting the joint projects. Ph.D. course students at KAIST and LU for mutual visits to participate in the research for 6 months to 1 year. Ph.D. graduates from KAIST and LU for mutual visits for post-doctoral positions.

Research Issues―Haptic Interfaces Haptic interfaces play (or will play) in increasingly important role in virtual manufacturing and for teaching/programming of force control applications. Force control is currently reaching industrial products and practices, as an key technology to permit more flexible (compliant and error- tolerant and the like) and robust robot operation. Even if core algorithms have been available for more than two decades, attempts to use force control in real applications will create both generic and application-specific problems. In this context, both the system design including the algorithms, as well as the tools and methods needed for analyzing and configuring the robot control with respect to the specific application needs, will be of key importance. This also includes the user interaction and the programming methods. Haptic interfaces are not only important as such, they also need to be considered in the context of programming virtual or real robots with force interaction with the work piece.

Research Interaction Ph.D. Programme Ph.D. students visiting KAIST or LU and vice versa for research for 6-12 months Motion control techniques, including non-linear control, observers, and system identification. Real-time systems and implementation of control. Special attention on model-based generation of control software, the engineering process, and the testability of the system (even during operation). Robot programming with emphasis on sensor based applications, ranging from implementation of basic skills and up to more intelligent behaviors. PostDoc Programme Ph.D. graduates from KAIST visiting LU and vice versa for post-doctoral research With knowledge and experience from some of the above topics, a postdoc research will give opportunities to work on advanced topics that spans over tow of more research areas. Special attention should be paid to the reusability and reproducibility of technologies and results respectively. A sound algorithmic and model-based approach in combination with suitable tools such as simulation environments, should make results portable such that a series of visits results in improved platforms and systems.

Research Issues In addition to the above suggestions, there are application and system aspects. Some examples are: Safe operation: How to ensure safe (for humans) operation, both along the lines of using certified safe components and COTS unsafe components. In both cases the resulting system must fulfill the safety demands, which are less strict than compared to mission critical systems (which for a given engineering effort can never be as flexible as robots that may be stopped in case of a failure). The role of formal methods needs further investigation. Meta-level descriptions and automatic generation of system configurations (including configurations of specific devices), both on a modular mechatronic level and on a higher level of system design. Information processing today is typically expressed in an imperative way using ordinary programming languages. Such entities of processing, however, do not compose. For DAE systems there has been a development of declarative description that do compose, such as Modelica. For computations that are locally sequential even mathematically, corresponding declarative, ways of describing systems/components are needed. So called aspect-oriented programming offers one approach. Reactive modeling: Models of systems today are typically created during some kind of engineering stage, prior to operation. Future flexible and increasingly autonomous robots will need to have extensive models of the environment, which more automatic will need to be updated as a result of external stimuli. Anticipatory systems: Intelligent behavior can benefit from systems being able to simulate other involved activities or even their own operation. A complication today is that software systems are based on global properties and functions, such as functionality for time and concurrency, with threads of execution being based on the hardware clock, which in turn cannot be represented in a self simulating system without explicit considering the issue during system design. A better approach would be to have software platforms that automatically support anticipatory systems. Resource-aware systems: Actual and predictable robot operation will need to take resources and resource limitations into account. That, in turn, requires extensive engineering. One idea is then to have resource management built into the software components, and have a system platform that supports automatic configuration by means of optimization of quality of service.