CPN Modelling And Performance Analysis Of CBHSA

Security is a major issue associated with MAs and Hosts. MAs themselves may need to be protected from the hosts they visit and vice versa. For mobile multi agents, a new Cryptography Based Hierarchical Security Architecture (CBHSA) has already been proposed in our previous work. CBHSA provides four different kinds of algorithms to secure agents during migration which combines various existing security mechanisms such as encryption and decryption, signed agreement etc. This paper gives the description of Colored Petri Net (CPN) modelling of CBHSA and analyses the performance of CBHSA against some identified parameters. Different graphs have been developed for min, max and average values of different parameters. Simulation results show that CBHSA gives expected result and secure MAs and hosts from attacks

Verificare: a platform for composable verification with application to SDN-Enabled systems

Software-Defined Networking (SDN) has become increasing prevalent in both the academic and industrial communities. A new class of system built on SDNs, which we refer to as SDN-Enabled, provide programmatic interfaces between the SDN controller and the larger distributed system. Existing tools for SDN verification and analysis are insufficiently expressive to capture this composition of a network and a larger distributed system. Generic verification systems are an infeasible solution, due to their monolithic approach to modeling and rapid state-space explosion. In this thesis we present a new compositional approach to system modeling and verification that is particularly appropriate for SDN-Enabled systems. Compositional models may have sub-components (such as switches and end-hosts) modified, added, or removed with only minimal, isolated changes. Furthermore, invariants may be defined over the composed system that restrict its behavior, allowing assumptions to be added or removed and for components to be abstracted away into the service guarantee that they provide (such as guaranteed packet arrival). Finally, compositional modeling can minimize the size of the state space to be verified by taking advantage of known model structure. We also present the Verificare platform, a tool chain for building compositional models in our modeling language and automatically compiling them to multiple off-the-shelf verification tools. The compiler outputs a minimal, calculus-oblivious formalism, which is accessed by plugins via a translation API. This enables a wide variety of requirements to be verified. As new tools become available, the translator can easily be extended with plugins to support them

A Survey and Future Directions on Clustering: From WSNs to IoT and Modern Networking Paradigms

Many Internet of Things (IoT) networks are created as an overlay over traditional ad-hoc networks such as Zigbee. Moreover, IoT networks can resemble ad-hoc networks over networks that support device-to-device (D2D) communication, e.g., D2D-enabled cellular networks and WiFi-Direct. In these ad-hoc types of IoT networks, efficient topology management is a crucial requirement, and in particular in massive scale deployments. Traditionally, clustering has been recognized as a common approach for topology management in ad-hoc networks, e.g., in Wireless Sensor Networks (WSNs). Topology management in WSNs and ad-hoc IoT networks has many design commonalities as both need to transfer data to the destination hop by hop. Thus, WSN clustering techniques can presumably be applied for topology management in ad-hoc IoT networks. This requires a comprehensive study on WSN clustering techniques and investigating their applicability to ad-hoc IoT networks. In this article, we conduct a survey of this field based on the objectives for clustering, such as reducing energy consumption and load balancing, as well as the network properties relevant for efficient clustering in IoT, such as network heterogeneity and mobility. Beyond that, we investigate the advantages and challenges of clustering when IoT is integrated with modern computing and communication technologies such as Blockchain, Fog/Edge computing, and 5G. This survey provides useful insights into research on IoT clustering, allows broader understanding of its design challenges for IoT networks, and sheds light on its future applications in modern technologies integrated with IoT.acceptedVersio

Improving Access and Mental Health for Youth Through Virtual Models of Care

The overall objective of this research is to evaluate the use of a mobile health smartphone application (app) to improve the mental health of youth between the ages of 14–25 years, with symptoms of anxiety/depression. This project includes 115 youth who are accessing outpatient mental health services at one of three hospitals and two community agencies. The youth and care providers are using eHealth technology to enhance care. The technology uses mobile questionnaires to help promote self-assessment and track changes to support the plan of care. The technology also allows secure virtual treatment visits that youth can participate in through mobile devices. This longitudinal study uses participatory action research with mixed methods. The majority of participants identified themselves as Caucasian (66.9%). Expectedly, the demographics revealed that Anxiety Disorders and Mood Disorders were highly prevalent within the sample (71.9% and 67.5% respectively). Findings from the qualitative summary established that both staff and youth found the software and platform beneficial

The Impact of Digital Technologies on Public Health in Developed and Developing Countries

This open access book constitutes the refereed proceedings of the 18th International Conference on String Processing and Information Retrieval, ICOST 2020, held in Hammamet, Tunisia, in June 2020.* The 17 full papers and 23 short papers presented in this volume were carefully reviewed and selected from 49 submissions. They cover topics such as: IoT and AI solutions for e-health; biomedical and health informatics; behavior and activity monitoring; behavior and activity monitoring; and wellbeing technology. *This conference was held virtually due to the COVID-19 pandemic

The Impact of Digital Technologies on Public Health in Developed and Developing Countries

This open access book constitutes the refereed proceedings of the 18th International Conference on String Processing and Information Retrieval, ICOST 2020, held in Hammamet, Tunisia, in June 2020.* The 17 full papers and 23 short papers presented in this volume were carefully reviewed and selected from 49 submissions. They cover topics such as: IoT and AI solutions for e-health; biomedical and health informatics; behavior and activity monitoring; behavior and activity monitoring; and wellbeing technology. *This conference was held virtually due to the COVID-19 pandemic

Pervasive intelligent decision support in critical health care

Tese de doutoramento (área de especialização em Tecnologias e Sistemas de Informação)Intensive Care Units (ICU) are recognized as being critical environments, due to the fact that patients admitted to these units typically find themselves in situations of organ failure or serious health conditions. ICU professionals (doctors and nurses) dedicate most of their time taking care for the patients, relegating to a second plan all documentation tasks. Tasks such as recording vital signs, treatment planning and calculation of indicators, are only performed when patients are in a stable clinical condition. These records can occur with a lag of several hours. Since this is a critical environment, the Process of Decision Making (PDM) has to be fast, objective and effective. Any error or delay in the implementation of a particular decision may result in the loss of a human life. Aiming to minimize the human effort in bureaucratic processes and improve the PDM, dematerialization of information is required, eliminating paper-based recording and promoting an automatic registration of electronic and real-time data of patients. These data can then be used as a complement to the PDM, e.g. in Decision Support Systems that use Data Mining (DM) models. At the same time it is important for PDM to overcome barriers of time and space, making the platforms as universal as possible, accessible anywhere and anytime, regardless of the devices used. In this sense, it has been observed a proliferation of pervasive systems in healthcare. These systems are focused on providing healthcare to anyone, anytime and anywhere by removing restrictions of time and place, increasing both the coverage and quality of health care. This approach is mainly based on information that is stored and available online. With the aim of supporting the PDM a set of tests were carried out using static DM models making use of data that had been collected and entered manually in Euricus database. Preliminary results of these tests showed that it was possible to predict organ failure and outcome of a patient using DM techniques considering a set of physiological and clinical variables as input. High rates of sensitivity were achieved: Cardiovascular - 93.4%; Respiratory - 96.2%; Renal - 98.1%; Liver - 98.3%; hematologic - 97.5%; and Outcome and 98.3%. Upon completion of this study a challenge emerged: how to achieve the same results but in a dynamic way and in real time? A research question has been postulated as: "To what extent, Intelligent Decision Support Systems (IDSS) may be appropriate for critical clinical settings in a pervasive way? “. Research work included: 1. To percept what challenges a universal approach brings to IDSS, in the context of critical environments; 2. To understand how pervasive approaches can be adapted to critical environments; 3. To develop and test predictive models for pervasive approaches in health care. The main results achieved in this work made possible: 1. To prove the adequacy of pervasive approach in critical environments; 2. To design a new architecture that includes the information requirements for a pervasive approach, able to automate the process of knowledge discovery in databases; 3. To develop models to support pervasive intelligent decision able to act automatically and in real time. To induce DM ensembles in real time able to adapt autonomously in order to achieve predefined quality thresholds (total error = 85 % and accuracy > = 60 %). Main contributions of this work include new knowledge to help overcoming the requirements of a pervasive approach in critical environments. Some barriers inherent to information systems, like the acquisition and processing of data in real time and the induction of adaptive ensembles in real time using DM, have been broken. The dissemination of results is done via devices located anywhere and anytime.As Unidades de Cuidados Intensivos (UCIs) são conhecidas por serem ambientes críticos, uma vez que os doentes admitidos nestas unidades encontram-se, tipicamente, em situações de falência orgânica ou em graves condições de saúde. Os profissionais das UCIs (médicos e enfermeiros) dedicam a maioria do seu tempo no cuidado aos doentes, relegando para segundo plano todas as tarefas relacionadas com documentação. Tarefas como o registo dos sinais vitais, o planeamento do tratamento e o cálculo de indicadores são apenas realizados quando os doentes se encontram numa situação clínica estável. Devido a esta situação, estes registos podem ocorrer com um atraso de várias horas. Dado que este é um ambiente crítico, o Processo de Tomada de Decisão (PTD) tem de ser rápido, objetivo e eficaz. Qualquer erro ou atraso na implementação de uma determinada decisão pode resultar na perda de uma vida humana. Com o intuito de minimizar os esforços humanos em processos burocráticos e de otimizar o PTD, é necessário proceder à desmaterialização da informação, eliminando o registo em papel, e promover o registo automático e eletrónico dos dados dos doentes obtidos em tempo real. Estes dados podem, assim, ser usados com um complemento ao PTD, ou seja, podem ser usados em Sistemas de Apoio à Decisão que utilizem modelos de Data Mining (DM). Ao mesmo tempo, é imperativo para o PTD superar barreiras ao nível de tempo e espaço, desenvolvendo plataformas tão universais quanto possíveis, acessíveis em qualquer lugar e a qualquer hora, independentemente dos dispositivos usados. Nesse sentido, tem-se verificado uma proliferação dos sistemas pervasive na saúde. Estes sistemas focam-se na prestação de cuidados de saúde a qualquer pessoa, a qualquer altura e em qualquer lugar através da eliminação das restrições ao nível do tempo e espaço, aumentando a cobertura e a qualidade na área da saúde. Esta abordagem é, principalmente, baseada em informações que estão armazenadas disponíveis online. Com o objetivo de suportar o PTD, foi realizado um conjunto de testes com modelos de DM estáticos, recorrendo a dados recolhidos e introduzidos manualmente na base de dados “Euricus”. Os resultados preliminares destes testes mostraram que era possível prever a falência orgânica ou a alta hospitalar de um doente, através de técnicas de DM utilizando como valores de entrada um conjunto de variáveis clínicas e fisiológicas. Nos testes efetuados, foram obtidos elevados níveis de sensibilidade: cardiovascular - 93.4%; respiratório - 96.2%; renal - 98.1%; hepático - 98.3%; hematológico - 97.5%; e alta hospitalar - 98.3%. Com a finalização deste estudo, observou-se o aparecimento de um novo desafio: como alcançar os mesmos resultados mas em modo dinâmico e em tempo real? Uma questão de investigação foi postulada: “Em que medida os Sistemas de Apoio à Decisão Inteligentes (SADIs) podem ser adequados às configurações clínicas críticas num modo pervasive?”. Face ao exposto, o trabalho de investigação inclui os seguintes pontos: 1. Perceber quais os desafios que uma abordagem universal traz para os SADIs, no contexto dos ambientes críticos; 2. Compreender como as abordagens pervasive podem ser adaptadas aos ambientes críticos; 3. Desenvolver e testar modelos de previsão para abordagens pervasive na área da saúde. Os principais resultados alcançados neste trabalho tornaram possível: 1. Provar a adequação da abordagem pervasive em ambientes críticos; 2. Conceber uma nova arquitetura que inclui os requisitos de informação para uma abordagem pervasive, capaz de automatizar o processo de descoberta de conhecimento em base de dados; 3. Desenvolver modelos de suporte à decisão inteligente e pervasive, capazes de atuar automaticamente e em tempo real. Induzir ensembles DM em tempo real, capazes de se adaptarem de forma autónoma, com o intuito de alcançar as medidas de qualidade pré-definidas (erro total = 85 % e acuidade> = 60 %). As principais contribuições deste trabalho incluem novos conhecimentos para ajudar a ultrapassar as exigências de uma abordagem pervasive em ambientes críticos. Algumas barreiras inerentes aos sistemas de informação, como a aquisição e o processamento de dados em tempo real e a indução de ensembles adaptativos em tempo real utilizando DM, foram transpostas. A divulgação dos resultados é feita através de dispositivos localizados, em qualquer lugar e a qualquer hora.Intensive Care Units (ICU) are recognized as being critical environments, due to the fact that patients admitted to these units typically find themselves in situations of organ failure or serious health conditions. ICU professionals (doctors and nurses) dedicate most of their time taking care for the patients, relegating to a second plan all documentation tasks. Tasks such as recording vital signs, treatment planning and calculation of indicators, are only performed when patients are in a stable clinical condition. These records can occur with a lag of several hours. Since this is a critical environment, the Process of Decision Making (PDM) has to be fast, objective and effective. Any error or delay in the implementation of a particular decision may result in the loss of a human life. Aiming to minimize the human effort in bureaucratic processes and improve the PDM, dematerialization of information is required, eliminating paper-based recording and promoting an automatic registration of electronic and real-time data of patients. These data can then be used as a complement to the PDM, e.g. in Decision Support Systems that use Data Mining (DM) models. At the same time it is important for PDM to overcome barriers of time and space, making the platforms as universal as possible, accessible anywhere and anytime, regardless of the devices used. In this sense, it has been observed a proliferation of pervasive systems in healthcare. These systems are focused on providing healthcare to anyone, anytime and anywhere by removing restrictions of time and place, increasing both the coverage and quality of health care. This approach is mainly based on information that is stored and available online. With the aim of supporting the PDM a set of tests were carried out using static DM models making use of data that had been collected and entered manually in Euricus database. Preliminary results of these tests showed that it was possible to predict organ failure and outcome of a patient using DM techniques considering a set of physiological and clinical variables as input. High rates of sensitivity were achieved: Cardiovascular - 93.4%; Respiratory - 96.2%; Renal - 98.1%; Liver - 98.3%; hematologic - 97.5%; and Outcome and 98.3%. Upon completion of this study a challenge emerged: how to achieve the same results but in a dynamic way and in real time? A research question has been postulated as: "To what extent, Intelligent Decision Support Systems (IDSS) may be appropriate for critical clinical settings in a pervasive way? “. Research work included: 1. To percept what challenges a universal approach brings to IDSS, in the context of critical environments; 2. To understand how pervasive approaches can be adapted to critical environments; 3. To develop and test predictive models for pervasive approaches in health care. The main results achieved in this work made possible: 1. To prove the adequacy of pervasive approach in critical environments; 2. To design a new architecture that includes the information requirements for a pervasive approach, able to automate the process of knowledge discovery in databases; 3. To develop models to support pervasive intelligent decision able to act automatically and in real time. To induce DM ensembles in real time able to adapt autonomously in order to achieve predefined quality thresholds (total error = 85 % and accuracy > = 60 %). Main contributions of this work include new knowledge to help overcoming the requirements of a pervasive approach in critical environments. Some barriers inherent to information systems, like the acquisition and processing of data in real time and the induction of adaptive ensembles in real time using DM, have been broken. The dissemination of results is done via devices located anywhere and anytime

Autonomous landing of fixed-wing aircraft on mobile platforms

E n esta tesis se propone un nuevo sistema que permite la operación de aeronaves autónomas sin tren de aterrizaje. El trabajo está motivado por el interés industrial en aeronaves con la capacidad de volar a gran altitud, con más capacidad de carga útil y capaces de aterrizar con viento cruzado. El enfoque seguido en este trabajo consiste en eliminar el sistema de aterrizaje de una aeronave de ala fija empleando una plataforma móvil de aterrizaje en tierra. La aeronave y la plataforma deben sincronizar su movimiento antes del aterrizaje, lo que se logra mediante la estimación del estado relativo entre ambas y el control cooperativo del movimiento. El objetivo principal de esta Tesis es el desarrollo de una solución práctica para el aterrizaje autónomo de una aeronave de ala fija en una plataforma móvil. En la tesis se combinan nuevos métodos con experimentos prácticos para los cuales se ha desarrollado un sistema de pruebas específico. Se desarrollan dos variantes diferentes del sistema de aterrizaje. El primero presta atención especial a la seguridad, es robusto ante retrasos en la comunicación entre vehículos y cumple procedimientos habituales de aterrizaje, al tiempo que reduce la complejidad del sistema. En el segundo se utilizan trayectorias optimizadas del vehículo y sincronización bilateral de posición para maximizar el rendimiento del aterrizaje en términos de requerimientos de longitud necesaria de pista, pero la estabilidad es dependiente del retraso de tiempo, con lo cual es necesario desarrollar un controlador estabilizador ampliado, basado en pasividad, que permite resolver este problema. Ambas estrategias imponen requisitos funcionales a los controladores de cada uno de los vehículos, lo que implica la capacidad de controlar el movimiento longitudinal sin afectar el control lateral o vertical, y viceversa. El control de vuelo basado en energía se utiliza para proporcionar dicha funcionalidad a la aeronave. Los sistemas de aterrizaje desarrollados se han analizado en simulación estableciéndose los límites de rendimiento mediante múltiples repeticiones aleatorias. Se llegó a la conclusión de que el controlador basado en seguridad proporciona un rendimiento de aterrizaje satisfactorio al tiempo que suministra una mayor seguridad operativa y un menor esfuerzo de implementación y certificación. El controlador basado en el rendimiento es prometedor para aplicaciones con una longitud de pista limitada. Se descubrió que los beneficios del controlador basado en el rendimiento son menos pronunciados para una dinámica de vehículos terrestres más lenta. Teniendo en cuenta la dinámica lenta de la configuración del demostrador, se eligió el enfoque basado en la seguridad para los primeros experimentos de aterrizaje. El sistema de aterrizaje se validó en diversas pruebas de aterrizaje exitosas, que, a juicio del autor, son las primeras en el mundo realizadas con aeronaves reales. En última instancia, el concepto propuesto ofrece importantes beneficios y constituye una estrategia prometedora para futuras soluciones de aterrizaje de aeronaves.In this thesis a new landing system is proposed, which allows for the operation of autonomous aircraft without landing gear. The work was motivated by the industrial need for more capable high altitude aircraft systems, which typically suffer from low payload capacity and high crosswind landing sensitivity. The approach followed in this work consists in removing the landing gear system from the aircraft and introducing a mobile ground-based landing platform. The vehicles must synchronize their motion prior to landing, which is achieved through relative state estimation and cooperative motion control. The development of a practical solution for the autonomous landing of an aircraft on a moving platform thus constitutes the main goal of this thesis. Therefore, theoretical investigations are combined with real experiments for which a special setup is developed and implemented. Two different landing system variants are developed — the safety-based landing system is robust to inter-vehicle communication delays and adheres to established landing procedures, while reducing system complexity. The performance-based landing system uses optimized vehicle trajectories and bilateral position synchronization to maximize landing performance in terms of used runway, but suffers from time delay-dependent stability. An extended passivity-based stabilizing controller was implemented to cope with this issue. Both strategies impose functional requirements on the individual vehicle controllers, which imply independent controllability of the translational degrees of freedom. Energy-based flight control is utilized to provide such functionality for the aircraft. The developed landing systems are analyzed in simulation and performance bounds are determined by means of repeated random sampling. The safety-based controller was found to provide satisfactory landing performance while providing higher operational safety, and lower implementation and certification effort. The performance-based controller is promising for applications with limited runway length. The performance benefits were found to be less pronounced for slower ground vehicle dynamics. Given the slow dynamics of the demonstrator setup, the safety-based approach was chosen for first landing experiments. The landing system was validated in a number of successful landing trials, which to the author’s best knowledge was the first time such technology was demonstrated on the given scale, worldwide. Ultimately, the proposed concept offers decisive benefits and constitutes a promising strategy for future aircraft landing solutions