NOVA mobility assistive system: Developed and remotely controlled with IOPT-tools

UID/EEA/00066/2020In this paper, a Mobility Assistive System (NOVA-MAS) and a model-driven development approach are proposed to support the acquisition and analysis of data, infrastructures control, and dissemination of information along public roads. A literature review showed that the work related to mobility assistance of pedestrians in wheelchairs has a gap in ensuring their safety on road. The problem is that pedestrians in wheelchairs and scooters often do not enjoy adequate and safe lanes for their circulation on public roads, having to travel sometimes side by side with vehicles and cars moving at high speed. With NOVA-MAS, city infrastructures can obtain information regarding the environment and provide it to their users/vehicles, increasing road safety in an inclusive way, contributing to the decrease of the accidents of pedestrians in wheelchairs. NOVA-MAS not only supports information dissemination, but also data acquisition from sensors and infrastructures control, such as traffic light signs. For that, it proposed a development approach that supports the acquisition of data from the environment and its control while using a tool framework, named IOPT-Tools (Input-Output Place-Transition Tools). IOPT-Tools support controllers’ specification, validation, and implementation, with remote operation capabilities. The infrastructures’ controllers are specified through IOPT Petri net models, which are then simulated using computational tools and verified using state-space-based model-checking tools. In addition, an automatic code generator tool generates the C code, which supports the controllers’ implementation, avoiding manual codification errors. A set of prototypes were developed and tested to validate and conclude on the feasibility of the proposals.publishersversionpublishe

The DS-Pnet modeling formalism for cyber-physical system development

This work presents the DS-Pnet modeling formalism (Dataflow, Signals and Petri nets), designed for the development of cyber-physical systems, combining the characteristics of Petri nets and dataflows to support the modeling of mixed systems containing both reactive parts and data processing operations. Inheriting the features of the parent IOPT Petri net class, including an external interface composed of input and output signals and events, the addition of dataflow operations brings enhanced modeling capabilities to specify mathematical data transformations and graphically express the dependencies between signals. Data-centric systems, that do not require reactive controllers, are designed using pure dataflow models. Component based model composition enables reusing existing components, create libraries of previously tested components and hierarchically decompose complex systems into smaller sub-systems. A precise execution semantics was defined, considering the relationship between dataflow and Petri net nodes, providing an abstraction to define the interface between reactive controllers and input and output signals, including analog sensors and actuators. The new formalism is supported by the IOPT-Flow Web based tool framework, offering tools to design and edit models, simulate model execution on the Web browser, plus model-checking and software/hardware automatic code generation tools to implement controllers running on embedded devices (C,VHDL and JavaScript). A new communication protocol was created to permit the automatic implementation of distributed cyber-physical systems composed of networks of remote components communicating over the Internet. The editor tool connects directly to remote embedded devices running DS-Pnet models and may import remote components into new models, contributing to simplify the creation of distributed cyber-physical applications, where the communication between distributed components is specified just by drawing arcs. Several application examples were designed to validate the proposed formalism and the associated framework, ranging from hardware solutions, industrial applications to distributed software applications

Minimalist Architecture to Generate Embedded System Web User Interfaces

Part 9: Embedded Systems and Petri NetsInternational audienceThis paper presents a new architecture to semi-automatically generate Web user interfaces for Embedded Systems designed using IOPT Petri Net models. The user interfaces can be used to remotely control, monitor and debug embedded systems using a standard Web Browser. The proposed architecture takes advantage of the distributed nature of the Internet to store all static user interface data and software on third-party Web services (the Cloud), and execute the user-interface code on the user’s Web Browser. A simplified protocol is proposed to enable remote control, status-monitoring, debugging and step-by-step execution, minimizing resource consumption on the physical embedded devices, including processing load, memory and communication bandwidth. As the user interface data and code are kept on third-party Web services, these resources can be shared among multiple embedded device units, and the hardware requirements to implement the devices can be simplified, leading to reduced cost solutions. To prevent down-time due to network problems or server failures, a fault-tolerant topology is suggested. The distributed architecture is transparent to end-users, observing just a Web interface for an embedded device on the other side of an Internet URL

Developing Globally-Asynchronous Locally- Synchronous Systems through the IOPT-Flow Framework

Throughout the years, synchronous circuits have increased in size and com-plexity, consequently, distributing a global clock signal has become a laborious task. Globally-Asynchronous Locally-Synchronous (GALS) systems emerge as a possible solution; however, these new systems require new tools. The DS-Pnet language formalism and the IOPT-Flow framework aim to support and accelerate the development of cyber-physical systems. To do so it offers a tool chain that comprises a graphical editor, a simulator and code gener-ation tools capable of generating C, JavaScript and VHDL code. However, DS-Pnets and IOPT-Flow are not yet tuned to handle GALS systems, allowing for partial specification, but not a complete one. This dissertation proposes extensions to the DS-Pnet language and the IOPT-Flow framework in order to allow development of GALS systems. Addi-tionally, some asynchronous components were created, these form interfaces that allow synchronous blocks within a GALS system to communicate with each other

Support for Technical Phases and Conceptual Model

Worldwide, many wheelchair users find it difficult to use or acquire a wheelchair that is appropriate for them, either because they do not have the necessary financial support or because they do not have access to trained healthcare professionals (HCPs), but they are essential for the correct provision of assistive products and user training. Consequently, although wheelchairs are designed to promote the well-being of many users, in many cases, they end up being abandoned or do not provide any benefit, with the chance of causing harm and potentially putting people in danger. This article proposes the creation and use of a Digital Twin (DT) of a Power Wheelchair (PWC) to promote the health of wheelchair users, by facilitating and improving the delivery of remote services by HCPs, as well as to include monitoring services to support timely maintenance. Specifically, a DT is a virtual counterpart that is seamlessly linked to a physical asset, both relying on data and information exchange for mirroring each other. Currently, DT is emerging and being applied to different areas as a promising approach to gather insightful data, which are shared between the physical and virtual worlds and facilitate the means to design, monitor, analyze, optimize, predict, and control physical entities. This article gives an overview of the Digital Twin concept, namely its definition, types, and properties, and seeks to synthesize the technologies and tools frequently used to enable Digital Twins; we also explain how a DT can be used in the technical phases of the PWC provision process and propose a conceptual model highlighting the use of an MDD approach benefiting from a Petri net formalism, which is presented to systematize the development of a PWC Dpublishersversionpublishe

Computationally-efficient Finite-element-based Thermal and Electromagnetic Models of Electric Machines.

With the modern trend of transportation electrification, electric machines are a key component of electric/hybrid electric vehicle (EV/HEV) powertrains. It is therefore important that vehicle powertrain-level and system-level designers and control engineers have access to accurate yet computationally-efficient (CE), physics-based modeling tools of the thermal and electromagnetic (EM) behavior of electric machines. In this dissertation, CE yet accurate thermal and EM models for electric machines, which are suitable for use in vehicle powertrain design, optimization, and control, are developed. This includes not only creating fast and accurate thermal and EM models for specific machine designs, but also the ability to quickly generate and determine the performance of new machine designs through the application of scaling techniques to existing designs. With the developed techniques, the thermal and EM performance can be accurately and efficiently estimated. Furthermore, powertrain or system designers can easily and quickly adjust the characteristics and the performance of the machine in ways that are favorable to the overall vehicle performance.PhDElectrical Engineering: SystemsUniversity of Michigan, Horace H. Rackham School of Graduate Studieshttp://deepblue.lib.umich.edu/bitstream/2027.42/113497/1/kanzhou_1.pd

Evaluating Resilience of Cyber-Physical-Social Systems

Nowadays, protecting the network is not the only security concern. Still, in cyber security, websites and servers are becoming more popular as targets due to the ease with which they can be accessed when compared to communication networks. Another threat in cyber physical social systems with human interactions is that they can be attacked and manipulated not only by technical hacking through networks, but also by manipulating people and stealing users’ credentials. Therefore, systems should be evaluated beyond cy- ber security, which means measuring their resilience as a piece of evidence that a system works properly under cyber-attacks or incidents. In that way, cyber resilience is increas- ingly discussed and described as the capacity of a system to maintain state awareness for detecting cyber-attacks. All the tasks for making a system resilient should proactively maintain a safe level of operational normalcy through rapid system reconfiguration to detect attacks that would impact system performance. In this work, we broadly studied a new paradigm of cyber physical social systems and defined a uniform definition of it. To overcome the complexity of evaluating cyber resilience, especially in these inhomo- geneous systems, we proposed a framework including applying Attack Tree refinements and Hierarchical Timed Coloured Petri Nets to model intruder and defender behaviors and evaluate the impact of each action on the behavior and performance of the system.Hoje em dia, proteger a rede não é a única preocupação de segurança. Ainda assim, na segurança cibernética, sites e servidores estão se tornando mais populares como alvos devido à facilidade com que podem ser acessados quando comparados às redes de comu- nicação. Outra ameaça em sistemas sociais ciberfisicos com interações humanas é que eles podem ser atacados e manipulados não apenas por hackers técnicos através de redes, mas também pela manipulação de pessoas e roubo de credenciais de utilizadores. Portanto, os sistemas devem ser avaliados para além da segurança cibernética, o que significa medir sua resiliência como uma evidência de que um sistema funciona adequadamente sob ataques ou incidentes cibernéticos. Dessa forma, a resiliência cibernética é cada vez mais discutida e descrita como a capacidade de um sistema manter a consciência do estado para detectar ataques cibernéticos. Todas as tarefas para tornar um sistema resiliente devem manter proativamente um nível seguro de normalidade operacional por meio da reconfi- guração rápida do sistema para detectar ataques que afetariam o desempenho do sistema. Neste trabalho, um novo paradigma de sistemas sociais ciberfisicos é amplamente estu- dado e uma definição uniforme é proposta. Para superar a complexidade de avaliar a resiliência cibernética, especialmente nesses sistemas não homogéneos, é proposta uma estrutura que inclui a aplicação de refinamentos de Árvores de Ataque e Redes de Petri Coloridas Temporizadas Hierárquicas para modelar comportamentos de invasores e de- fensores e avaliar o impacto de cada ação no comportamento e desempenho do sistema

OPTIMAL POWER FLOW IN ISLANDED MICROGRIDS

In this thesis, studies about OPF in islanded MGs have been carried out. First, an original formulation and solution approach for the OPF problem in islanded distribution systems is proposed. The methodology is well suited for AC microgrids and can be envisioned as a new hierarchical control structure comprising only two levels: primary and tertiary regulation, the latter also providing iso-frequency operating points for all units and optimized droop parameters for primary regulation. The OPF provides a minimum losses operating point for which voltage drops are limited and power sharing is carried out according to the most adequate physical properties of the infrastructure thus giving rise to increased lifetime of lines and components. Due to the fact that the solution method is based on a numerical approach, the OPF is quite fast and efficient and the operating point can be calculated in times that are comparable to the current secondary regulation level times. Two test systems, 6_bus and 38_bus, have been used. In the different applications. Different scenarios have been investigated to show: - the possibility to solve the OPF in islanded MGs - the possible link between stability of operation and minimum losses. In particular two methods for OPF have been investigated, one based on a numerical approach (Lagrange method) and one based on heuristic optimization (Glow-worm Swarm Optimization, GSO). The latter is a global optimizer that is able to identify multiple optima.Positive and negative aspects of both methods are put into evidence. Numerical optimization indeed can provide stable solutions but cannot deal with a comprehensive formulation able to optimize both active power-to-frequency and reactive power-to-voltage droop coefficient. Also the load with the numerical approach can only be balanced while heuristic optimization allows both balanced and unbalanced loading conditions. Also constraints can be easily considered using a heuristic formulation, while this is not possible using the numerical approach. The thesis is divided as follow: - In the first chapter, the motivation and scientific goals of the thesis have been presented. - In the second chapter, a parametric study changing coefficients of droop control is carried out solving the power flow for balanced and unbalanced three phase different microgrids systems using the Trust Region Method. - In the third chapter, an original formulation and solution approach for the OPF problem in islanded distribution systems based on Lagrange method is proposed. - In the fourth chapter applications of GSO method to solve the optimal power flow problem taking into account the constraints of frequency and line ampacity in three-phase islanded Microgrids with variables are both Kgs and Kds are proposed. The details of optimal results and load flow calculation results are shown in the appendix