20,821 research outputs found
gCSP: A Graphical Tool for Designing CSP systems
For broad acceptance of an engineering paradigm, a graphical notation and a supporting design tool seem necessary. This paper discusses certain issues of developing a design environment for building systems based on CSP. Some of the issues discussed depend specifically on the underlying theory of CSP, while a number of them are common for any graphical notation and supporting tools, such as provisions for complexity management and design overview
Sequential Synthesis of Distributed Controllers for Cascade Interconnected Systems
We consider the problem of designing distributed controllers to ensure
passivity of a large-scale interconnection of linear subsystems connected in a
cascade topology. The control design process needs to be carried out at the
subsystem-level with no direct knowledge of the dynamics of other subsystems in
the interconnection. We present a distributed approach to solve this problem,
where subsystem-level controllers are locally designed in a sequence starting
at one end of the cascade using only the dynamics of the particular subsystem,
coupling with the immediately preceding subsystem and limited information from
the preceding subsystem in the cascade to ensure passivity of the
interconnected system up to that point. We demonstrate that this design
framework also allows for new subsystems to be compositionally added to the
interconnection without requiring redesign of the pre-existing controllers.Comment: Accepted to appear in the proceedings of the American Control
Conference (ACC) 201
Compositional Performance Modelling with the TIPPtool
Stochastic process algebras have been proposed as compositional specification formalisms for performance models. In this paper, we describe a tool which aims at realising all beneficial aspects of compositional performance modelling, the TIPPtool. It incorporates methods for compositional specification as well as solution, based on state-of-the-art techniques, and wrapped in a user-friendly graphical front end. Apart from highlighting the general benefits of the tool, we also discuss some lessons learned during development and application of the TIPPtool. A non-trivial model of a real life communication system serves as a case study to illustrate benefits and limitations
Compositional game theory
We introduce open games as a compositional foundation of economic game
theory. A compositional approach potentially allows methods of game theory and
theoretical computer science to be applied to large-scale economic models for
which standard economic tools are not practical. An open game represents a game
played relative to an arbitrary environment and to this end we introduce the
concept of coutility, which is the utility generated by an open game and
returned to its environment. Open games are the morphisms of a symmetric
monoidal category and can therefore be composed by categorical composition into
sequential move games and by monoidal products into simultaneous move games.
Open games can be represented by string diagrams which provide an intuitive but
formal visualisation of the information flows. We show that a variety of games
can be faithfully represented as open games in the sense of having the same
Nash equilibria and off-equilibrium best responses.Comment: This version submitted to LiCS 201
Cox regression survival analysis with compositional covariates: application to modelling mortality risk from 24-h physical activity patterns
Survival analysis is commonly conducted in medical and public health research to assess the association of an exposure or intervention with a hard end outcome such as mortality. The Cox (proportional hazards) regression model is probably the most popular statistical tool used in this context. However, when the exposure includes compositional covariables (that is, variables representing a relative makeup such as a nutritional or physical activity behaviour composition), some basic assumptions of the Cox regression model and associated significance tests are violated. Compositional variables involve an intrinsic interplay between one another which precludes results and conclusions based on considering them in isolation as is ordinarily done. In this work, we introduce a formulation of the Cox regression model in terms of log-ratio coordinates which suitably deals with the constraints of compositional covariates, facilitates the use of common statistical inference methods, and allows for scientifically meaningful interpretations. We illustrate its practical application to a public health problem: the estimation of the mortality hazard associated with the composition of daily activity behaviour (physical activity, sitting time and sleep) using data from the U.S. National Health and Nutrition Examination Survey (NHANES)
A Tale of Two DRAGGNs: A Hybrid Approach for Interpreting Action-Oriented and Goal-Oriented Instructions
Robots operating alongside humans in diverse, stochastic environments must be
able to accurately interpret natural language commands. These instructions
often fall into one of two categories: those that specify a goal condition or
target state, and those that specify explicit actions, or how to perform a
given task. Recent approaches have used reward functions as a semantic
representation of goal-based commands, which allows for the use of a
state-of-the-art planner to find a policy for the given task. However, these
reward functions cannot be directly used to represent action-oriented commands.
We introduce a new hybrid approach, the Deep Recurrent Action-Goal Grounding
Network (DRAGGN), for task grounding and execution that handles natural
language from either category as input, and generalizes to unseen environments.
Our robot-simulation results demonstrate that a system successfully
interpreting both goal-oriented and action-oriented task specifications brings
us closer to robust natural language understanding for human-robot interaction.Comment: Accepted at the 1st Workshop on Language Grounding for Robotics at
ACL 201
- ā¦