9,474 research outputs found
Reactive Control Improvisation
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
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
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
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
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
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
- …