Mahmoud Khaled

Mahmoud Khaled
Technische Universität München | TUM · Faculty of Electrical Engineering and Information Technology

M.Sc.

About

37
Publications
34,274
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
201
Citations
Introduction
My research spans two main disciplines: (1) Formal Methods in System Design/Synthesis (Computer-aided verification/design/synthesis of control systems); and (2) Cyber-Physical Systems (embedded control systems, real-time systems, hybrid systems, and networked control systems).
Additional affiliations
February 2014 - December 2015
Minia University
Position
  • Lecturer
January 2014 - present
Minia University
Position
  • Lecturer
January 2010 - January 2014
Minia University
Position
  • Research Assistant
Education
July 2011 - February 2014
Minia University
Field of study
  • Embedded Control Systems
May 2004 - May 2009
Minia University
Field of study
  • Computer and Systems Engineering

Publications

Publications (37)
Conference Paper
Full-text available
The correctness of control software in many safety-critical applications such as autonomous vehicles is crucial. One technique to achieve correct control software is called "symbolic control", where complex systems are approximated by fnite-state abstractions. Then, using those abstractions, provably-correct digital controllers are algorithmically...
Conference Paper
Full-text available
The correctness of control software in many safety-critical applications such as autonomous vehicles is very crucial. One approach to achieve this goal is through "symbolic control", where complex physical systems are approximated by finite-state abstractions. Then, using those abstractions, provably-correct digital controllers are algorithmi-cally...
Article
This paper presents different multiprocessor implementations of the proportional-integral-derivative (PID) controller using two technologies: field programmable gate array (FPGA)-based multiprocessor system-on-chip (MPSoC) and multicore microcontrollers (MCUs). Techniques to implement a parallelized PID controller, a multi-PID controller and a self...
Article
The conventional algorithm of P&O is widely applied due to its simplicity, low cost and easy implementation. However, it suffers from instabilities during rapid changes of weather and/or oscillation around MPP at steady-state. Instabilities occur due to the incorrect decision taken by the conventional P&O algorithm at the first step change in duty...
Thesis
Full-text available
The project is a Robotic Arm that can identify different objects located in its workspace according to their shape and color and places the objects in a certain location with the help of a video camera as a visual feedback. The arm has 4 Degrees of Freedom (DOF) with a DC-Motor at each joint. The DC-Motor is position-controlled using a PID controll...
Preprint
Full-text available
Increasing levels of autonomy in safety-critical systems such as autonomous vehicles, airplanes, and medical robots, pose questions about their safety, thus compelling the scientific community to provide novel techniques for the design of foolproof safety-critical control software (SCCS). One promising approach for designing formally-correct SCCS i...
Preprint
Full-text available
We introduce OmegaThreads, a tool for automatic synthesis of correct-by-construction controllers for control systems from 𝜔-regular specifications. It accepts general nonlinear control systems from which discrete abstractions (a.k.a. symbolic models) are constructed. Specifications are provided directly as deterministic parity Automata (DPA) or as...
Preprint
Full-text available
Symbolic control is a an abstraction-based controller synthesis approach that provides, algorithmically, certifiable-by-construction controllers for cyber-physical systems. Current methodologies of symbolic control usually assume that full-state information is available. This is not suitable for many real-world applications with partially-observabl...
Article
The correctness of control software in many safety-critical applications such as autonomous vehicles and traffic networks is crucial. Having models of physical systems and high-level requirements, many formal method techniques can be leveraged to provide, algorithmically, certifiable control software. Unfortunately, the complexity of applying these...
Chapter
Full-text available
Reachability analysis is a critical tool for the formal verification of dynamical systems and the synthesis of controllers for them. Due to their computational complexity, many reachability analysis methods are restricted to systems with relatively small dimensions. One significant reason for such limitation is that those approaches, and their impl...
Chapter
Full-text available
In this paper, we propose a software tool, called AMYTISS, implemented in C++/OpenCL, for designing correct-by-construction controllers for large-scale discrete-time stochastic systems. This tool is employed to (i) build finite Markov decision processes (MDPs) as finite abstractions of given original systems, and (ii) synthesize controllers for the...
Preprint
In this paper, we propose a software tool, called AMYTISS, implemented in C++/OpenCL, for designing correct-by-construction controllers for large-scale discrete-time stochastic systems. This tool is employed to (i) build finite Markov decision processes (MDPs) as finite abstractions of given original systems, and (ii) synthesize controllers for the...
Poster
Full-text available
Large-scale stochastic systems have recently received significant attentions due to their broad applications in various safety-critical systems such as traffic networks and self-driving cars. In this poster, we describe the software tool AMYTISS, implemented in C++/OpenCL, for designing correct-by-construction controllers for large-scale discrete-t...
Patent
Full-text available
Disclosed herein is a method for synthesizing a correct-by-construction controller for a control system, the method comprising the following steps: receiving a mathematical model of the control system, with a plurality of state variables x and a plurality of control parameters u, discretizing at least a part of a space spanned by (x , u) to obtain...
Preprint
Reachability analysis is a critical tool for the formal verification of dynamical systems and the synthesis of controllers for them. Due to their computational complexity, many reachability analysis methods are restricted to systems with relatively small dimensions. One significant reason for such limitation is that those approaches, and their impl...
Chapter
The correctness of control software in many safety-critical applications such as autonomous vehicles is very crucial. One approach to achieve this goal is through “symbolic control”, where complex physical systems are approximated by finite-state abstractions. Then, using those abstractions, provably-correct digital controllers are algorithmically...
Data
This is a simple demonstration of the combine techniques from sparsity-aware abstraction and the data-parallel implementation of automated symbolic controller synthesis. Using a simple two-dimensional integrator repressing a robot system, we show that integrating sparsity during the synthesis of symbolic controllers can reduce the computation compl...
Article
Full-text available
While many studies and tools target the basic stabilizability problem of networked control systems (NCS), nowadays modern systems require more sophisticated objectives such as those expressed as formulae in linear temporal logic or as automata on infinite strings. One general technique to achieve this is based on so-called symbolic models, where co...
Conference Paper
While many studies and tools target the basic stabilizability problem of networked control systems (NCS), nowadays modern systems require more sophisticated objectives such as those expressed as formulae in linear temporal logic or as automata on infinite strings. One general technique to achieve this is based on so-called symbolic models, where co...
Article
The last decade has witnessed significant attention on networked control systems (NCS) due to their ubiquitous presence in industrial applications, and, in the particular case of wireless NCS, because of their architectural flexibility and low installation and maintenance costs. In wireless NCS the communication between sensors, controllers, and ac...
Conference Paper
Networked control systems (NCS) have attracted the attention of many researchers in the past few years due to their flexibility and wide range of industrial applications. In this work, we address the controller synthesis problem for NCS with sophisticated closed-loop objectives, e.g. temporal logic requirements. Specifically, we consider controller...
Poster
Full-text available
In this poster, we present a methodology to construct symbolic models for NCS using a recently introduced notion of feedback refinement relations. The symbolic models for the NCS (which includes the network non-idealities and the model of communication channel), can be directly obtained from the symbolic model of the plant.
Article
The conventional algorithm of perturb and observe (P&O) is widely applied due to its simplicity, low cost and easy implementation. However, it suffers from instabilities during rapid changes of weather and/or oscillation around maximum power point (MPP) at steady state. Instabilities occur due to the incorrect decision taken by the conventional P&O...
Conference Paper
Full-text available
In this paper, a lab-scale single-rotor helicopter system is modeled and controlled. The introduced system is first modeled mathematically and then modeled with an online identification method using MATLAB. The model is then used to design a PID controller for the system. The designed controller is then implemented using a multicore microcontroller...
Thesis
Full-text available
Analog controllers are suitable for applications with unchangeable requirements while digital controllers offer flexible solutions for modern control applications. The maintaining of a fast digital controller is vital for modern control applications, which greatly increases cost of the control system. With the developments in computing technologies...
Article
Full-text available
Modern embedded control systems require new techniques to fulfill the rapid increase in control requirements and constraints. Multiprocessor systems have been proposed as a promising solution for modern digital control systems. Embedded control systems need to meet hard real-time deadlines, while conducting additional tasks like tuning of control p...
Conference Paper
Full-text available
Modern embedded control systems require new techniques to fulfill the rapid increase in control requirements and constraints. Multiprocessor systems have been proposed as a promising solution for modern digital control systems. Embedded control systems need to meet hard real-time deadlines, while conducting additional tasks like tuning of control p...
Conference Paper
Full-text available
New applications of digital embedded control systems require more advanced techniques that can fulfill increasing control requirements and to meet control constraints, such as reaching RT deadlines, while trying to achieve additional tasks like auto-tuning of the parameters of control algorithm, conducting diagnostic-based operations or executing a...
Thesis
Full-text available
The uniqueness of the inverted pendulum system has drawn interest from many researches due to the unstable nature of the system. The idea of a mobile inverted pendulum robot has surfaced in recent years and has attracted interest from control system researchers worldwide. A two-wheeled differential drive mobile robot based on the inverted pendulum...

Network

Cited By

Projects

Projects (2)
Project
Our Project aims to design the hardware and Software in paralleled to accomplish the high speedup and new performance in our Applications
Project
Providing multiprocessor based implementations that are suitable for embedded digital controllers.