9,473 research outputs found

    Reactive Control Improvisation

    Full text link
    Reactive synthesis is a paradigm for automatically building correct-by-construction systems that interact with an unknown or adversarial environment. We study how to do reactive synthesis when part of the specification of the system is that its behavior should be random. Randomness can be useful, for example, in a network protocol fuzz tester whose output should be varied, or a planner for a surveillance robot whose route should be unpredictable. However, existing reactive synthesis techniques do not provide a way to ensure random behavior while maintaining functional correctness. Towards this end, we generalize the recently-proposed framework of control improvisation (CI) to add reactivity. The resulting framework of reactive control improvisation provides a natural way to integrate a randomness requirement with the usual functional specifications of reactive synthesis over a finite window. We theoretically characterize when such problems are realizable, and give a general method for solving them. For specifications given by reachability or safety games or by deterministic finite automata, our method yields a polynomial-time synthesis algorithm. For various other types of specifications including temporal logic formulas, we obtain a polynomial-space algorithm and prove matching PSPACE-hardness results. We show that all of these randomized variants of reactive synthesis are no harder in a complexity-theoretic sense than their non-randomized counterparts.Comment: 25 pages. Full version of a CAV 2018 pape

    Voluntary lane-change policy synthesis with reactive control improvisation

    Get PDF
    In this paper, we propose reactive control improvisation to synthesize voluntary lane-change policy that meets human preferences under given traffic environments. We first train Markov models to describe traffic patterns and the motion of vehicles responding to such patterns using traffic data. The trained parameters are calibrated using control improvisation to ensure the traffic scenario assumptions are satisfied. Based on the traffic pattern, vehicle response models, and Bayesian switching rules, the lane-change environment for an automated vehicle is modeled as a Markov decision process. Based on human lane-change behaviors, we train a voluntary lane-change policy using explicit-duration Markov decision process. Parameters in the lane-change policy are calibrated through reactive control improvisation to allow an automated car to pursue faster speed while maintaining desired frequency of lane-change maneuvers in various traffic environments

    Voluntary lane-change policy synthesis with reactive control improvisation

    Get PDF
    In this paper, we propose reactive control improvisation to synthesize voluntary lane-change policy that meets human preferences under given traffic environments. We first train Markov models to describe traffic patterns and the motion of vehicles responding to such patterns using traffic data. The trained parameters are calibrated using control improvisation to ensure the traffic scenario assumptions are satisfied. Based on the traffic pattern, vehicle response models, and Bayesian switching rules, the lane-change environment for an automated vehicle is modeled as a Markov decision process. Based on human lane-change behaviors, we train a voluntary lane-change policy using explicit-duration Markov decision process. Parameters in the lane-change policy are calibrated through reactive control improvisation to allow an automated car to pursue faster speed while maintaining desired frequency of lane-change maneuvers in various traffic environments

    Software agents in music and sound art research/creative work: Current state and a possible direction

    Get PDF
    Composers, musicians and computer scientists have begun to use software-based agents to create music and sound art in both linear and non-linear (non-predetermined form and/or content) idioms, with some robust approaches now drawing on various disciplines. This paper surveys recent work: agent technology is first introduced, a theoretical framework for its use in creating music/sound art works put forward, and an overview of common approaches then given. Identifying areas of neglect in recent research, a possible direction for further work is then briefly explored. Finally, a vision for a new hybrid model that integrates non-linear, generative, conversational and affective perspectives on interactivity is proposed

    “Truthful” acting emerges through forward model development

    Get PDF
    Open peer commentary on the article ““Black Box” Theatre: Second-Order Cybernetics and Naturalism in Rehearsal and Performance” by Tom Scholte. Upshot: My aim is to show that “truthful” acting that emerges through improvisation is equivalent to the development of mutual forward models in the actors. If these models match those of the audience members, this is perceived as “truthful.

    Time and Organizational Improvisation

    Get PDF
    This paper argues that the apparent contradiction in current conceptualizations of time in organizations (e.g., Chronos vs. Kairos) is only apparent, and that a synthesis between these opposing poles is both possible and desirable. We propose improvisation (where time to plan converges with time to act) as a vehicle for articulating a dialectical view of time-based organizational phenomena, while focusing on the three major time-related problems organizations have to solve: scheduling, synchronization, and allocation. The paper discusses how improvisation helps to synthesize even time and event time in scheduling processes, internal pacing and external pacing in synchronization processes, and linear and cyclical time in allocation processes. Methodological and practical obstacles to synthesis are also discussed.Improvisation, Planning, Time
    corecore