An official website of the United States government
A robot’s code needs to sense the environment, control the hardware, and communicate with other robots. Current programming languages do not provide suitable abstractions that are independent of hardware platforms. Currently, developing robot applications requires detailed knowledge of signal processing, control, path planning, network protocols, and various platform-specific details. Further, porting applications across hardware platforms remains tedious. We present Koord—a domain specific language for distributed robotics—which abstracts platform-specific functions for sensing, communication, and low-level control. Koord makes the platform-independent control and coordination code portable and modularly verifiable. Koord raises the level of abstraction in programming by providing distributed shared memory for coordination and port interfaces for sensing and control. We have developed the formal executable semantics of Koord in the K framework. With this symbolic execution engine, we can identify assumptions (proof obligations) needed for gaining high assurance from Koord applications. We illustrate the power of Koord through three applications: formation flight, distributed delivery, and distributed mapping. We also use the three applications to demonstrate how platform-independent proof obligations can be discharged using the Koord Prover while platform-specific proof obligations can be checked by verifying the obligations using physics-based models and hybrid verification tools.
more »
« less
A Multi-Platform Annotation Ecosystem for Domain Adaptation
This paper describes an ecosystem consisting of three independent text annotation platforms. To demonstrate their ability to work in concert, we illustrate how to use them to address an interactive domain adaptation task in biomedical entity recognition. The platforms and the approach are in general domain-independent and can be readily applied to other areas of science.
more »
« less
- Award ID(s):
- 1811123
- PAR ID:
- 10138127
- Date Published:
- Journal Name:
- Proceedings of the 13th Linguistic Annotation Workshop
- Page Range / eLocation ID:
- 189 to 194
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Digital platforms have become increasingly dominant in many industries, bringing the concerns of adverse economic and societal effects (e.g., monopolies and social inequality). Regulators are actively seeking diverse strategies to regulate these powerful platforms. However, the lack of empirical studies hinders the progress toward evidence-based policymaking. This research investigates the regulatory landscape in the context of on-demand delivery, where high commission fees charged by the platforms significantly impact small businesses. Recent regulatory scrutiny has started to cap the commission fees for independent restaurants. We empirically evaluate the effectiveness of platform fee regulation by utilizing regulations across 14 cities and states in the United States. Our analyses unveil an unintended consequence: independent restaurants, the intended beneficiaries of the regulation, experience a decline in orders and revenue, whereas chain restaurants gain an advantage. We show that the platforms’ discriminative responses to the regulation, such as prioritizing chain restaurants in customer recommendations and increasing delivery fees for consumers, may explain the negative effects on independent restaurants. These dynamics underscore the complexity of regulating powerful platforms and the urgency of devising nuanced policies that effectively support small businesses without triggering unintended detrimental effects.more » « less
-
Restaurants are increasingly relying on on-demand delivery platforms (e.g., DoorDash, Grubhub, and Uber Eats) to reach customers and fulfill takeout orders. Although on-demand delivery is a valuable option for consumers, whether restaurants benefit from or are being hurt by partnering with these platforms remains unclear. This paper investigates whether and to what extent the platform delivery channel substitutes restaurants’ own takeout/dine-in channels and the net impact on restaurant revenue. Empirical analyses show that restaurants overall benefit from on-demand delivery platforms—these platforms increase restaurants’ total takeout sales while creating positive spillovers to customer dine-in visits. However, the platform effects are substantially heterogeneous, depending on the type of restaurants (independent versus chain) and the type of customer channels (takeout versus dine-in). The overall positive effect on fast-food chains is four times as large as that on independent restaurants. For takeout, delivery platforms substitute independent restaurants’ but complement chain restaurants’ own takeout sales. For dine-in, delivery platforms increase both independent and chain restaurants’ dine-in visits by a similar magnitude. Therefore, the value of delivery platforms to independent restaurants mostly comes from the increase in dine-in visits, whereas the value to chain restaurants primarily comes from the gain in takeout sales. Further, the platform delivery channel facilitates price competition and reduces the opportunity for independent restaurants to differentiate with premium services and dine-in experience, which may explain why independent restaurants do not benefit as much from on-demand delivery platforms. This paper was accepted by D. J. Wu, information systems. Funding: Z. Li is grateful to the National Science Foundation Division of Social and Economic Sciences for support provided through the CAREER award [Grant 2243736]. Supplemental Material: The online appendix and data files are available at https://doi.org/10.1287/mnsc.2021.01010 .more » « less
-
Simulation-based analysis is essential in the model-based design process of Cyber-Physical Systems (CPS). Since heterogeneity is inherent to CPS, virtual prototyping of CPS designs and the simulation of their behavior in various environments typically involve a number of physical and computation/communication domains interacting with each other. Affordability of the model-based design process makes the use of existing domain-specific modeling and simulation tools all but mandatory. However, this pressure establishes the requirement for integrating the domain-specific models and simulators into a semantically consistent and efficient system-of-system simulation. The focus of the paper is the interoperability of popular integration platforms supporting heterogeneous multi-model simulations. We examine the relationship among three existing platforms: the High-Level Architecture (HLA)-based CPS Wind Tunnel (CPSWT), MOSAIK, and the Functional Mockup Unit (FMU). We discuss approaches to establish interoperability and present results of ongoing work in the context of an example.more » « less
-
In recent years, gig work platforms have gained popularity as a way for individuals to earn money; as of 2021, 16% of Americans have at some point earned money from such platforms. Despite their popularity and their history of unfair data collection practices and worker safety, little is known about the data collected from workers (and users) by gig platforms and about the privacy dark pattern designs present in their apps. This paper presents an empirical measurement of 16 gig work platforms' data practices in the U.S. We analyze what data is collected by these platforms, and how it is shared and used. Finally, we consider how these practices constitute privacy dark patterns. To that end, we develop a novel combination of methods to address gig-worker-specific challenges in experimentation and data collection, enabling the largest in-depth study of such platforms to date. We find extensive data collection and sharing with 60 third parties—including sharing reversible hashes of worker Social Security Numbers (SSNs)—along with dark patterns that subject workers to greater privacy risk and opportunistically use collected data to nag workers in off-platform messages. We conclude this paper with proposed interdisciplinary mitigations for improving gig worker privacy protections. After we disclosed our SSN-related findings to affected platforms, the platforms confirmed that the issue had been mitigated. This is consistent with our independent audit of the affected platforms. Analysis code and redacted datasets will be made available to those who wish to reproduce our findings.more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Conference Paper:
- https://doi.org/10.18653/v1/W19-4021
