Prototyping Operational Autonomy for Space Traffic Management

Current state of the art in Space Traffic Management (STM) relies on a handful of providers for surveillance and collision prediction, and manual coordination between operators. Neither is scalable to support the expected 10x increase in spacecraft population in less than 10 years, nor does it support automated manuever planning. We present a software prototype of an STM architecture based on open Application Programming Interfaces (APIs), drawing on previous work by NASA to develop an architecture for low-altitude Unmanned Aerial System Traffic Management. The STM architecture is designed to provide structure to the interactions between spacecraft operators, various regulatory bodies, and service suppliers, while maintaining flexibility of these interactions and the ability for new market participants to enter easily. Autonomy is an indispensable part of the proposed architecture in enabling efficient data sharing, coordination between STM participants and safe flight operations. Examples of autonomy within STM include syncing multiple non-authoritative catalogs of resident space objects, or determining which spacecraft maneuvers when preventing impending conjunctions between multiple spacecraft. The STM prototype is based on modern micro-service architecture adhering to OpenAPI standards and deployed in industry standard Docker containers, facilitating easy communication between different participants or services. The system architecture is designed to facilitate adding and replacing services with minimal disruption. We have implemented some example participant services (e.g. a space situational awareness provider/SSA, a conjunction assessment supplier/CAS, an automated maneuver advisor/AMA) within the prototype. Different services, with creative algorithms folded into then, can fulfil similar functional roles within the STM architecture by flexibly connecting to it using pre-defined APIs and data models, thereby lowering the barrier to entry of new players in the STM marketplace. We demonstrate the STM prototype on a multiple conjunction scenario with multiple maneuverable spacecraft, where an example CAS and AMA can recommend optimal maneuvers to the spacecraft operators, based on a predefined reward function. Such tools can intelligently search the space of potential collision avoidance maneuvers with varying parameters like lead time and propellant usage, optimize a customized reward function, and be implemented as a scheduling service within the STM architecture. The case study shows an example of autonomous maneuver planning is possible using the API-based framework. As satellite populations and predicted conjunctions increase, an STM architecture can facilitate seamless information exchange related to collision prediction and mitigation among various service applications on different platforms and servers. The availability of such an STM network also opens up new research topics on satellite maneuver planning, scheduling and negotiation across disjoint entities

Distributed control design and safety verification for multi-agent systems

The control barrier function (CBF) framework is a powerful tool for safe controller design and safety analysis. Given a dynamical system and a CBF, the system is safe if the CBF-induced constraints are satisfied for every state inside an invariant set, which is a subset of the safe set. In this paper we propose a safety verification algorithm for networked nonlinear multi-agent systems. In our proposed algorithm, we independently sample scenarios from the invariant set, and subsequently quantify safety for the multi-agent system by solving a scenario program in a distributed manner. Both the scenario sampling and safety verification algorithms are fully distributed. The efficacy of our algorithm is demonstrated by an example on multi-robot collision avoidance

The Promise of Health Information Technology: Ensuring that Florida's Children Benefit

Substantial policy interest in supporting the adoption of Health Information Technology (HIT) by the public and private sectors over the last 5 -- 7 years, was spurred in particular by the release of multiple Institute of Medicine reports documenting the widespread occurrence of medical errors and poor quality of care (Institute of Medicine, 1999 & 2001). However, efforts to focus on issues unique to children's health have been left out of many of initiatives. The purpose of this report is to identify strategies that can be taken by public and private entities to promote the use of HIT among providers who serve children in Florida

Building Medical Homes in State Medicaid and CHIP Programs

Presents strategies, best practices, and lessons learned from ten states' efforts to advance the medical home model of comprehensive and coordinated care in Medicaid and Children's Health Insurance Programs in order to improve quality and contain costs

Internet of Things (IoT) for Automated and Smart Applications

Internet of Things (IoT) is a recent technology paradigm that creates a global network of machines and devices that are capable of communicating with each other. Security cameras, sensors, vehicles, buildings, and software are examples of devices that can exchange data between each other. IoT is recognized as one of the most important areas of future technologies and is gaining vast recognition in a wide range of applications and fields related to smart homes and cities, military, education, hospitals, homeland security systems, transportation and autonomous connected cars, agriculture, intelligent shopping systems, and other modern technologies. This book explores the most important IoT automated and smart applications to help the reader understand the principle of using IoT in such applications

Knowledge Discovery in the SCADA Databases Used for the Municipal Power Supply System

This scientific paper delves into the problems related to the develop-ment of intellectual data analysis system that could support decision making to manage municipal power supply services. The management problems of mu-nicipal power supply system have been specified taking into consideration modern tendencies shown by new technologies that allow for an increase in the energy efficiency. The analysis findings of the system problems related to the integrated computer-aided control of the power supply for the city have been given. The consideration was given to the hierarchy-level management decom-position model. The objective task targeted at an increase in the energy effi-ciency to minimize expenditures and energy losses during the generation and transportation of energy carriers to the Consumer, the optimization of power consumption at the prescribed level of the reliability of pipelines and networks and the satisfaction of Consumers has been defined. To optimize the support of the decision making a new approach to the monitoring of engineering systems and technological processes related to the energy consumption and transporta-tion using the technologies of geospatial analysis and Knowledge Discovery in databases (KDD) has been proposed. The data acquisition for analytical prob-lems is realized in the wireless heterogeneous medium, which includes soft-touch VPN segments of ZigBee technology realizing the 6LoWPAN standard over the IEEE 802.15.4 standard and also the segments of the networks of cellu-lar communications. JBoss Application Server is used as a server-based plat-form for the operation of the tools used for the retrieval of data collected from sensor nodes, PLC and energy consumption record devices. The KDD tools are developed using Java Enterprise Edition platform and Spring and ORM Hiber-nate technologies

Multi-Layers Supply chain modelling based on Multi-Agent Approach

This paper proposes a strategic multi layers model based on multi agents approach for supply chain system. It introduces a formulation and a solution methodology for the problem of supply chain design and modeling. In this paper we describe and analyze the relationships among main entities of a supply chain, such as suppliers, producers, and distribution centers, in the aim to design the agents and define their behavior. We also study, how these relationships can be formulated in a multi layer model. Finally, a generic multi agent model is illustrated

Hierarchical Structure in Brazilian Industrial Firms: an Econometric Study

The paper investigates different implications of theoretical models for hierarchical structure. A sample of 6567 firms in the Brazilian manufacturing industry is considered and explanatory factors pertaining structural characteristics, network technology, technological innovations, managerial innovations and incentive mechanisms are investigated. Despite the broader availability of explanatory variables in some categories, one only detects important joint effects accruing from the group of network technology variables as had been previously obtained in the related literature. In contrast, however, one can detect a marginally significant joint effect of the newly considered group of incentive mechanisms variables. The evidence in terms of individual effects is largely consistent with the predicted effects from the theoretical literature on hierarchy.