Alert button
Picture for Mahmoud Khaled

Mahmoud Khaled

Alert button

Technical University of Munich, Munich, Germany

SENSE: Abstraction-Based Synthesis of Networked Control Systems

Jun 26, 2018
Mahmoud Khaled, Matthias Rungger, Majid Zamani

Figure 1 for SENSE: Abstraction-Based Synthesis of Networked Control Systems
Figure 2 for SENSE: Abstraction-Based Synthesis of Networked Control Systems
Figure 3 for SENSE: Abstraction-Based Synthesis of Networked Control Systems
Figure 4 for SENSE: Abstraction-Based Synthesis of Networked Control Systems

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 complex systems are approximated by finite abstractions, and then, correct-by-construction controllers are automatically synthesized for them. We present tool SENSE for the construction of finite abstractions for NCS and the automated synthesis of controllers. Constructed controllers enforce complex specifications over plants in NCS by taking into account several non-idealities of the communication channels. Given a symbolic model of the plant and network parameters, SENSE can efficiently construct a symbolic model of the NCS, by employing operations on binary decision diagrams (BDDs). Then, it synthesizes symbolic controllers satisfying a class of specifications. It has interfaces for the simulation and the visualization of the resulting closed-loop systems using OMNETPP and MATLAB. Additionally, SENSE can generate ready-to-implement VHDL/Verilog or C/C++ codes from the synthesized controllers.

* EPTCS 272, 2018, pp. 65-78  
* In Proceedings MeTRiD 2018, arXiv:1806.09330 
Viaarxiv icon

Gender Aware Spoken Language Translation Applied to English-Arabic

Feb 26, 2018
Mostafa Elaraby, Ahmed Y. Tawfik, Mahmoud Khaled, Hany Hassan, Aly Osama

Figure 1 for Gender Aware Spoken Language Translation Applied to English-Arabic
Figure 2 for Gender Aware Spoken Language Translation Applied to English-Arabic
Figure 3 for Gender Aware Spoken Language Translation Applied to English-Arabic
Figure 4 for Gender Aware Spoken Language Translation Applied to English-Arabic

Spoken Language Translation (SLT) is becoming more widely used and becoming a communication tool that helps in crossing language barriers. One of the challenges of SLT is the translation from a language without gender agreement to a language with gender agreement such as English to Arabic. In this paper, we introduce an approach to tackle such limitation by enabling a Neural Machine Translation system to produce gender-aware translation. We show that NMT system can model the speaker/listener gender information to produce gender-aware translation. We propose a method to generate data used in adapting a NMT system to produce gender-aware. The proposed approach can achieve significant improvement of the translation quality by 2 BLEU points.

* Proceedings of the Second International Conference on Natural Language and Speech Processing, 2018 IEEE 
Viaarxiv icon