Day 2 :
Keynote Forum
Mikhail Moshkov
King Abdullah University of Science and Technology (KAUST), Saudi Arabia
Keynote: Extensions of Dynamic Programming for Decision Tree Study
Time : 10:00-10:45
Biography:
Mikhail Moshkov is a Professor in the CEMSE Division at King Abdullah University of Science and Technology, Saudi Arabia. He has earned his Master’s degree
from Nizhni Novgorod State University, received his Doctorate degree from Saratov State University and Habilitation from Moscow State University. He was with
Nizhni Novgorod State University for a few years, later he worked in Poland in the Institute of Computer Science, University of Silesia and also in the Katowice
Institute of Information Technologies. His main areas of research are complexity of algorithms, combinatorial optimization and machine learning. He is the author
or co-author of fi ve research monographs published by Springer
Abstract:
In the presentation, we consider extensions of dynamic programming approach to the study of decision trees as algorithms
for problem solving, as a way for knowledge extraction and representation and as classifi ers which, for a new object given
by values of conditional attributes, defi ne a value of the decision attribute. Th ese extensions allow us (1) to describe the set of
optimal decision trees, (2) to count the number of these trees, (3) to make sequential optimization of decision trees relative
to diff erent criteria, (4) to fi nd the set of Pareto optimal points for two criteria, and (5) to describe relationships between
two criteria. Th e results include the minimization of average depth for decision trees sorting eight elements (this question
was open since 1968), improvement of upper bounds on the depth of decision trees for diagnosis of 0-1-faults in read-once
combinatorial circuits, existence of totally optimal (with minimum depth and minimum number of nodes) decision trees for
Boolean functions, study of time-memory tradeoff for decision trees for corner point detection, study of relationships between
number and maximum length of decision rules derived from decision trees, study of accuracy-size tradeoff for decision trees
which allows us to construct enough small and accurate decision trees for knowledge representation and decision trees that as
classifi ers, outperform oft en decision trees constructed by CART. Th e end of the presentation is devoted to the introduction
to KAUST.
Keynote Forum
Jose B. Cruz Jr
National Academy of Science and Technology, Philippines
Keynote: Interacting Intelligent Computers in a Complex Cyber-physical System
Time : 11:05-11:50
Biography:
Jose B Cruz is an Academician, National Academy of Science and Technology, Philippines and a Member of the US National Academy of Engineering. He is also
a Fellow of the International Federation on Automatic Control and Fellow of IEEE. He has received the Richard E. Bellman Control Heritage Award, AACC and the
IEEE James H Mulligan and Jr Education Medal. He has worked as an Associate Head of ECE, University of Illinois, Urbana-Champaign, Chair of ECE, University
of California, Irvine and Dean of Engineering, the Ohio State University
Abstract:
We focus on the decision-making aspect of artifi cial intelligence in cyber-physical systems. According to NSF, cyberphysical
systems are engineered systems that are built from and depend upon, the seamless integration of computational
algorithms and physical components. Generally, there are multiple decision-making entities (multi-agents) in such systems.
We highlight the presence of multi-agents with diff erent objectives by defi ning these as complex cyber-physical systems
(CCPS). Multi-agents are implemented as intelligent computers. Th ere is relatively less attention on multiple decision-making
entities in the cyber-physical systems and in the artifi cial intelligence literatures. In this presentation we attempt to stimulate
the artifi cial intelligence community to broaden the scope of their research to include work on CCPS. Much of the underlying
basis of CCPS is nonzero-sum dynamic game theory. With very few exceptions, the theory involves simplifying assumptions
that result in problems that are mathematically tractable. In the fi rst part of the presentation, we provide an overview of these
results. In the second part of the presentation we explore trends on how some of the simplifi cations might be relaxed to increase
the scope of applications. One simplifying assumption is that the CCPS has a single mathematical model that is known to all
decision-making entities. In realistic applications, each decision-making entity constructs its own mathematical model, known
only to itself, of the same CCPS. Another simplifying assumption is that each decision-making entity knows the objective
function of each decision-making entity. We consider a parameterization concept to relax these assumptions. We illustrate
parameterization in an electric power network
Keynote Forum
Fuchiang (Rich) Tsui
University of Pittsburgh School of Medicine, USA
Keynote: Predictive Modeling and its Applications in Healthcare
Time : 11:50-12:35
Biography:
Fuchiang Tsui has received his PhD in Electrical Engineering, Premed training and Postdoctoral training in Biomedical Informatics at the University of Pittsburgh,
USA. He is the Director of the Tsui Laboratory. He has published more than 100 peer-reviewed papers and has been working in healthcare analytics for more than
20 years. His research interests include clinical informatics, population informatics, machine learning, data mining, natural language processing, mobile healthcare,
data warehouse and large real-time production systems.
Abstract:
Now, more than ever, Electronic Health Records (EHRs) are generated in large quantities and in diverse contents. Th is
explosion of information has naturally enabled powerful patient data analyses to potentially improve healthcare. Th is talk
will review several on-going research projects focusing on predictive modeling from structured and unstructured EHR data
and real-time production systems deployed at hospitals that we have developed in the Department of Biomedical Informatics,
University of Pittsburgh (Pitt). We have developed Bayesian networks and utilized machine learning methods in conjunction
with natural language processing to predict 30-day hospital readmissions, detect infectious diseases from emergency
department visits, classify the severity of psychiatric reports; we will also report our pilot study on infant mortality predictive
modeling based on various EHR data and non-EHR information. We have developed several production systems deployed at
the University of Pittsburgh Medical Center (UPMC) that provide daily infl uenza surveillance reports, real-time laboratory
reporting and event-driven based 30-day readmission risk prediction; we also developed a national retail data monitor system
at Pitt, that monitors over-the-counter medicine sales on a daily basis from 30,000+ retail stores in the US. I will demonstrate
one of our currently deployed production systems, the System for Hospital Adaptive Readmission Prediction and Management
(SHARP). Th is is integrated into the EHR system in place at the Children's Hospital of Pittsburgh of UPMC and demonstrates
how the research we have developed can translate directly into practice.
Keynote Forum
Ryspek Usubamatov
Kyrgyz Technical University, kyrgyzstan
Keynote: MBGT-Mathematical Basis of Gyroscope Theory
Time : 12:35-13:20
Biography:
Ryspek Usubamatov has completed his graduation as Professional Engineer, PhD from Bauman Moscow State Technical University and Doctor of Technical Sciences
from Academy of Sciences of Kyrgyzstan. He has worked as an Engineer-Designer of machine tools at engineering company. He is a Professor at Kyrgyz
State Technical University and worked at universities in Malaysia. He has published more than 300 papers in reputed journals, more than 60 patents of inventions
in engineering and seven books in area of manufacturing engineering. His research interests include gyroscope theory and productivity theory for industrial engineering.
Abstract:
Gyroscope devices are primary units for navigation and control systems in engineering. Th e main property of the gyroscopic
device is maintaining the axis of a spinning rotor for which mathematical models have been formulated on the changes in
the angular momentum. However, known theories for the gyroscope eff ects do not match actual forces and motions underway.
Th e nature of the gyroscope properties is more complex than represented by contemporary theories. Recent investigations
have demonstrated that gyroscope’s spinning rotor with symmetrical location of the supports, have four basic inertial forces
interdependently and simultaneously acting on them around two axes. Th ese forces are generated by the mass elements and
center mass of the spinning rotor and represented by centrifugal, Coriolis and common inertial forces as well as changes
in angular momentum. Th e applied torque generates internal resistance torques that based on the action of centrifugal and
Coriolis forces and the precession torques generated by common inertial forces and by the change in the angular momentum.
Th e new mathematical models for gyroscope eff ects describe clearly and exactly the physics of all known and new gyroscope
properties. New analytical approach for the most unsolvable motions of the gyroscope is validated by practical tests. Formulated
mathematical models for acting torques in the gyroscope represent fundamental principles of gyroscope theory based on the
action of inertial forces of classical mechanics. Mathematical models for gyroscope forces and motions can be solved manually.
Th is new theoretical approach for the gyroscope problems represents new challenge in engineering science.
- Robot Localization and Map Building | Automation Control | Multi Robot Systems | New Approaches in Automation and Robotics | Robot Manipulators: Trends and Development | Machine Learning | Quest for Artificial Intelligence
Chair
Meenakshi Nadimpalli
Reliable Software Resources Inc, USA
Co-Chair
Ryspek Usubamatov
Kyrgyz Technical University, kyrgyzstan
Session Introduction
Joel M. Haight
University of Pittsburgh, USA
Title: The Design and Use of Adaptive Automated Control Systems; where and how does the human operator optimally fit? Adaptive Automation - State of the Literature and Research Quest
Biography:
Joel M Haight is an Associate Professor of Industrial Engineering at the University of Pittsburgh, USA. He is currently a Professor and Director of the Safety
Engineering program, appointed in 2013. He has spent 4 years as a Research Manager with the U.S. Centers for Disease Control and Prevention (CDC), 10 years
as a Professor and Researcher at the Pennsylvania State University, Department of Energy and Mineral Engineering and nearly 18 years as an Engineer and
Manager at the Chevron Corporation
Abstract:
In today’s technologically driven world, we face the automation paradox. Bainbridge (1983) says that the more automated
a system becomes; the more important it is to consciously and appropriately integrate humans. We cannot argue that
automation provides immeasurable benefi t (improved effi ciency, reliability, accuracy, safety, etc.). However, if humans are not
actively engaged in system operation they experience loss of skill, knowledge, decision-making capability and reaction-time.
Without active engagement in the cognitive-based activities required by a control system, humans become less able to cope,
understand and function correctly. When called upon to take over control in an automated system, we become less capable of
eff ectively operating the system. Adaptive automation is a popular approach to solving this engagement problem. An adaptive
system allows the operator to have control until they are not engaged enough to know what to do in an upset. An NYC Amtrak
engineer derailed a train at 100 mph going into a 50 mph curve. Adaptive speed control gives the engineer the opportunity
to slow down; if no response, the control system takes over and slows the train. Researchers at the University of Pittsburgh
propose a design strategy integrating adaptive control while concurrently minimizing human error-induced incidents. Using
licensed nuclear power plant reactor operators in a control room simulator, researchers identify and measure key biometric
variables while varying task confi guration, automation level and override authority. If impact on system output is predictable,
the generated model can help designers simulate design strategies and resulting impact on system performance, thus providing
more-informed training protocols and content, more-informed simulator practice decisions and improved operational and
operating procedure consistency
Olivier Toupet
NASA Jet Propulsion Laboratory, USA
Title: Fusing wheel and visual odometry with inertial measurements: An Extended Kalman Filter for Unmanned Ground Vehicles in GPS-Denied Enviroments
Biography:
Olivier A Toupet has completed his MS in Aeronautics and Astronautics from MIT in 2006. He is currently a Research Technologist in the Robotic Mobility group at
NASA JPL, where he develops advanced autonomy for robotic systems. He is also a Rover Planner for the MSL fl ight mission, where he drives the Curiosity rover
and operates its robotic arm on Mars.
Abstract:
Localization is a central component of a robotic system as many other technologies providing autonomy rely upon it, such as
planning, control, mapping, etc. Smooth and accurate real-time pose estimation is thus a key enabler and many algorithms
exist to provide that capability. One of the most successful and widespread approach is the Extended Kalman Filter (EKF),
which can fuse asynchronous, time-delayed measurements from heterogeneous sensors. It is commonly used in Inertial
Navigation Systems (INS) for combining GPS and IMU measurements. In order to estimate the position and orientation
of an unmanned ground vehicle as it travels through an unknown, unstructured, GPS-denied environment, we leveraged
the EKF framework to fuse the information provided by the vehicle’s onboard gyroscopes, accelerometers, wheel encoders
and cameras. Our implementation is customized for ground vehicles, where the non-holonomic kinematics makes the lateral
motion diffi cult to observe. We use angular rate measurements provided by the IMU’s gyroscopes together with the forward
linear velocity measurement provided by the wheel encoders to predict the vehicle’s motion at a high rate. We then use Visual
Odometry (VO) as a relative pose measurement together with accelerometer measurements provided by the IMU to update
and correct those predictions over time. Our pose estimation system was demonstrated on a real unmanned ground vehicle, a
modifi ed military Humvee, in both short and long-drive scenarios and achieved a performance of less than one percent error
over distance travelled with accumulated yaw drift being the major source of localization error
Mehran Ektesabi
Swinburne University of Technology, Australia
Title: LSSA-CNC- Challenges in Large Scale Subtractive-Additive CNC Machine
Biography:
Mehran Ektesabi has completed his PhD in 1989. He has more than 30 years of experience in design and development of control and drive systems. Presently, he
is with Faculty of Science, Engineering and Technology at Swinburne University of Technology, Australia. He is an active Member of IEEE, Founder Chair of IEEE
Vehicular Technology Society (VTS) Victorian Chapter and Consular of IEEE branch in Swinburne. His major areas of expertise and research are power electronics,
electric motor control systems, power quality controllers, energy saving and compatibility, renewable energy systems, intelligent and autonomous control, soft
computing adaptive control and system identification
Abstract:
Nowadays, the Large Scale Subtractive-Additive CNC Machines are used in rapid prototyping of superior parts for
very sensitive systems used in aerospace and maritime technology. In this paper, design of a production platform of
a Subtractive-Additive Machine is considered. Th e unit has workspace 2.5×6.5×0.5 meter with two heads that operate
simultaneously. Each of the two processing heads will have 5 DOFs. While one is used for subtractive processing the other
one does the additive processing and both work simultaneously capable of handling the products up to 500 Kg in weight. Th e
Subtractive-Additive machine uses laser deposition welding with powder nozzle where the specimen thickness depends on
size of powder, laser and nozzle geometry. In this study, many of the challenges of large scale systems, such as; large working
area with escalated problems in design and operation, large weight handling of specimen, simultaneous operation of two
heads/multi-heads, which may aff ect the response time and complication of production, eff ects on the precision of movement
by using elevated magnetic bearing system, eff ects on the precision of the size on the end product, complexity of movement
strategy, mutual eff ects of the two heads as integrated, vibration (mechanical as well as electrical EMI) as well as thermal eff ect
and heat treatment during manufacturing has been considered and solutions to overcome such problems are suggested
Silvio Simani
University of Ferrara, Italy
Title: Advanced Issues of Wind Turbine Modelling and Control
Biography:
Silvio Simani has received the Laurea degree in Electronic Engineering in 1996 and PhD in Information Science (Automatic Control) in 2000. Since 2006, he has
been an IEEE Senior Member and from 2000 a Member of the SAFEPROCESS Technical Committee. Since 2002, he has been working as an Assistant Professor
at the Department of Engineering of the University of Ferrara, Italy. His research interests include fault diagnosis, fault tolerant control and system identifi cation, on
which he published about 200 refereed journal and conference papers, as well as three books and chapters.
Abstract:
The motivation for this talk proposal comes from a real need to have an overview about the challenges of modeling and
control for very demanding systems, such as wind turbine systems, which require reliability, availability, maintainability
and safety over power conversion effi ciency. Th ese issues have begun to stimulate research and development in the wide
control community particularly for these installations that need a high degree of sustainability. Note that this topic represents
a key point mainly for off shore wind turbines with very large rotors, since they are characterized by challenging modeling
and control problems as well as expensive and safety critical maintenance works. In this case, a clear confl ict exists between
ensuring a high degree of availability and reducing maintenance times, which aff ect the fi nal energy cost. On the other hand,
wind turbines have highly nonlinear dynamics with a stochastic and uncontrollable driving force as input in the form of wind
speed, thus representing an interesting challenge also from the modeling point of view. Suitable control methods can provide a
sustainable optimization of the energy conversion effi ciency over wider than normally expected working conditions. Moreover,
a proper mathematical description of the wind turbine system should be able to capture the complete behavior of the process
under monitoring, thus providing an important impact on the control design itself. In this way, the control scheme could
guarantee prescribed performance, whilst also giving a degree of tolerance to possible deviation of characteristic properties
or system parameters from standard conditions, if properly included in the wind turbine model itself. Th e most important
developments in advanced controllers for wind turbines are addressed and open problems in the areas of modeling of wind
turbines are also outlined.
Darian Reyes Fernandez de Bulnes
Tijuana Institute of Technology, Mexico
Title: High-Level Synthesis through metaheuristics and LUTs optimization in FPGA devices
Biography:
Darian Reyes Fernandez de Bulnes is currently a PhD student in Engineering Sciences in the Department of Electrical and Electronics Engineering of the Tijuana
Technological Institute, Mexico. He has received Bachelor’s degree in Computer Science at the University of Computer Science in 2011 and Master's degree in
Computer Science at the University of Havana in 2016, both in Cuba. His research areas include evolutionary computation, multi-objective metaheuristics and
computer-aided design.
Abstract:
Operations scheduling and lookup table (LUT) based technology mapping are fundamental problems of mapping designs
onto an electronic device, such as a fi eld programmable gate array. We present an approach to apply two optimizations
consecutively. In fi rst optimization, we apply several metaheuristic algorithms for multi-objective optimization at the high-level
synthesis stage. And in second optimization, we realize reductions of LUTs at the logic synthesis stage. Several circuit designs
are represented in a data fl ow graph (DFG) and the experiments are carried out on the standard Mediabench benchmark. In
the fi rst optimization, we compared NSGA-II, FEMO, HypE, IBEA, SPEA2 and WSGA. Results have an average improvement
14.06% in occupied area and 7.01% in power consumption. Th en, optimized DFG schedules are converted into very high
description language code using the Xilinx ISE design suite tool. Later, in the second optimization, the IMap algorithm is used
to obtain combinational area reductions. Results show that 60% of the circuits are improved in comparison with the Xilinx ISE
design suite.