226 research outputs found

    Logico-numerical Control for Software Components Reconfiguration

    Get PDF
    International audienceWe target the problem of the safe control of reconfigurations in component-based software systems, where strategies of adaptation to variations in both their environment and internal resource demands need to be enforced. In this context, the computing system involves software components that are subject to control decisions. We approach this problem under the angle of Discrete Event Systems (DES), involving properties on events observed during the execution (e.g., requests of computing tasks, work overload), and a state space representing different configurations such as activity or assemblies of components. We consider in particular the potential of applying novel logico-numerical control techniques to extend the expressivity of control models and objectives, thereby extending the application of DES in component-based software systems. We elaborate methodological guidelines for the application of logico-numerical control based on a case- study, and validate the result experimentally

    Towards Applying Logico-numerical Control to Dynamically Partially Reconfigurable Architectures

    Get PDF
    International audienceWe investigate the opportunities given by recent developments in the context of Discrete Controller Synthesis algorithms for infinite, logico-numerical systems. To this end, we focus on models employed in previous work for the management of dynamically partially reconfigurable hardware architectures. We extend these models with logico-numerical features to illustrate new modeling possibilities, and carry out some benchmarks to evaluate the feasibility of the approach on such models

    Modular and Hierarchical Discrete Control for Applications and Middleware Deployment in IoT and Smart Buildings

    Get PDF
    International audienceIn the Internet of Things (IoT) and Smart Homes and Buildings, sensors and actuators are controlled through a management software, that runs on a distributed network of heterogeneous processors. Such management systems have to be self-adaptive w.r.t. different aspects, at applications level (functionalities) as well as deployment level (software tasks, execution platform). Holding a well-mastered and safe behaviour of the overall system, in presence of these concurrent adaptations, is a complex control problem. We approach this problem by applying techniques from the area of Supervisory Control for Discrete Event Systems (DES), where the space of configurations at the different levels are modeled with automata. We use programming language support tools, Heptagon/BZR and ReaX, to build up a design environment for the considered application domain. This paper contributes with (i) generic behavioural models for both the applicative and deployment aspects of systems; (ii) applications of Discrete Controller Synthesis (DCS) to design controllers, especially modular and hierarchical control structures; (iii) an implemented case study

    What Was Artificial Intelligence?

    Get PDF
    When it was originally published in 2002, Sue Curry Jansen’s “What Was Artificial Intelligence?” attracted little notice. The long essay was published as a chapter in Jansen’s Critical Communication Theory, a book whose wisdom and erudition failed to register across the many fields it addressed. One explanation for the neglect, ironic and telling, is that Jansen’s sheer scope as an intellectual had few competent readers in the communication studies discipline into which she published the book. “What Was Artificial Intelligence?” was buried treasure. In this mediastudies.press edition, Jansen’s prescient autopsy of AI self-selling—the rhetoric of the masculinist sublime—is reprinted with a new introduction. Now an open access book, “What Was Artificial Intelligence?” is a message in a bottle, addressed to Musk, Bezos, and the latest generation of AI myth-makers

    Workshop on Fuzzy Control Systems and Space Station Applications

    Get PDF
    The Workshop on Fuzzy Control Systems and Space Station Applications was held on 14-15 Nov. 1990. The workshop was co-sponsored by McDonnell Douglas Space Systems Company and NASA Ames Research Center. Proceedings of the workshop are presented

    Toward a formal theory for computing machines made out of whatever physics offers: extended version

    Full text link
    Approaching limitations of digital computing technologies have spurred research in neuromorphic and other unconventional approaches to computing. Here we argue that if we want to systematically engineer computing systems that are based on unconventional physical effects, we need guidance from a formal theory that is different from the symbolic-algorithmic theory of today's computer science textbooks. We propose a general strategy for developing such a theory, and within that general view, a specific approach that we call "fluent computing". In contrast to Turing, who modeled computing processes from a top-down perspective as symbolic reasoning, we adopt the scientific paradigm of physics and model physical computing systems bottom-up by formalizing what can ultimately be measured in any physical substrate. This leads to an understanding of computing as the structuring of processes, while classical models of computing systems describe the processing of structures.Comment: 76 pages. This is an extended version of a perspective article with the same title that will appear in Nature Communications soon after this manuscript goes public on arxi

    What Was Artificial Intelligence?

    Get PDF
    When it was originally published in 2002, Sue Curry Jansen’s “What Was Artificial Intelligence?” attracted little notice. The long essay was published as a chapter in Jansen’s Critical Communication Theory, a book whose wisdom and erudition failed to register across the many fields it addressed. One explanation for the neglect, ironic and telling, is that Jansen’s sheer scope as an intellectual had few competent readers in the communication studies discipline into which she published the book. “What Was Artificial Intelligence?” was buried treasure. In this mediastudies.press edition, Jansen’s prescient autopsy of AI self-selling—the rhetoric of the masculinist sublime—is reprinted with a new introduction. Now an open access book, “What Was Artificial Intelligence?” is a message in a bottle, addressed to Musk, Bezos, and the latest generation of AI myth-makers

    Pleasure and pedagogic discourse in school mathematics : a case study of a problem-centred pedagogic modality

    Get PDF
    thesis is concerned with the production of an account of the relation between the reproduction of specialised knowledge and the moral discourse within pedagogic practice. The internal mechanism that knots together knowledge and moral discourse is elaborated by way of an analysis of texts produced by the originators of a pedagogic modality they refer to as the "problem-centred approach." The particular texts analysed are: (1) the Grade 1 to 4 textbooks and the corresponding teacher's guides, and (2) video records, supplied by the originators, of what they consider to be exemplary realisations of the pedagogy in practice of the "approach." The thesis opens with a discussion of a proposition, derived from Bernsteinian studies of curriculum and pedagogy, stating that everyday and academic know ledges are incommensurable, and from which it is claimed that the insistent contemporary attempts at incorporating the everyday into the academic in curricula and pedagogy, under the banner of "relevance," are educationally problematic. Against the Bernsteinian position, a central feature of the "problem-centred approach" is the extensive recruitment of extra-mathematical referents for the purposes of the reproduction of school mathematics. A more general examination of school mathematics texts that recruit the everyday reveal that such texts also associate the everyday with the pleasure of the student, so rendering "relevance," and hence moral discourse, as utilitarian. The manner in which the moral discourse operates within pedagogy was described in terms of Hegel's theory of judgement and Freudian-Lacanian accounts of imaginary and symbolic identification. Hegel enabled a description of pedagogic discourse at the level of the instructional content, and Freud-Lacan at the level of moral discourse. Hegel also enabled the location of the point at which the moral attaches to the instructional. What our analysis revealed is as follows: (1) the "problem-centred approach" is a competence-type pedagogy that employs strategies encouraging an initial imaginary identification with the everyday and pleasure, which is used to effect symbolic identification with school mathematics; (2) moral discourse drives pedagogic judgement by means of the imaginary-symbolic dialectic pertaining to identification; (3) evaluation drives pedagogic judgement aimed at the knowledge statements produced by students; and that (4) while the moral discourse is a pervasive and formally necessary component of pedagogy, it is ultimately embedded in the organisation and elaboration of the instructional contents, working in the service of the reproduction of instructional contents, but in accord with dominant ideological imperatives
    • …
    corecore