A Vision of Collaborative Verification-Driven Engineering of Hybrid Systems

Abstract. Hybrid systems with both discrete and continuous dynamics are an important model for real-world physical systems. The key challenge is how to ensure their correct functioning w.r.t. safety requirements. Promising techniques to ensure safety seem to be model-driven engineering to develop hybrid systems in a well-defined and traceable manner, and formal verification to prove their correctness. Their combination forms the vision of verification-driven engineering. Despite the remarkable progress in automating formal verification of hybrid systems, the construction of proofs of complex systems often requires significant human guidance, since hybrid systems verification tools solve undecidable problems. It is thus not uncommon for verification teams to consist of many players with diverse expertise. This paper introduces a verification-driven engineering toolset that extends our previous work on hybrid and arithmetic verification with tools for (i) modeling hybrid systems, (ii) exchanging and comparing models and proofs, and (iii) managing verification tasks. This toolset makes it easier to tackle large-scale verification tasks.

Post-industrial robotics: the new tendency of digital fabrication for exploring responsive forms and materials through performance

The contribution proposes the experimental results of research on robotics manufacturing issues for the realization of informed architectural organisms on a 1:1 scale. The pavilions Fusta Robotics and Digital Urban Orchard and the technological system In.Flux represent the results of tests in which material, environmental and structural performance inform the computational process and the consequent materialization. The two pavilions, both wooden, constitute the physical implementation of different functional programs realised through a collaboration with industrial partners. Fusta Robotics is the result of a collaboration between industry and universities for the tectonic experimentation derived from the use of local non-engineered material. Digital Urban Orchard is the formal expression of a complex functional program arising from the relationship amongst form (shape), function and context for a new concept of socialization space and food production within the agenda at the self-sufficiency in Barcelona. Finally, through the In.Flux prototype, we investigated the relationship among formal generation, structural analysis and robotic manufacturing for the realization of concrete free-form structures. The analysis of the prototypes opens the debate on the role of IT in the post-digital era when the design process manifest through the control and management of the flow of information affecting the digital computation and fabrication and the material behaviour. The resulting theoretical assumption considers the architectural form as the result of a diagram of forces where the achievement of the performance is the driving parameter for the formal geometric exploration. The continuous variation resulting therefrom is informed by performance parameters that define a new aesthetic which represents together the manifestation of objectively measurable performance parameters and the power of the tool through which the form is generated

Revisión tecnológica del aprendizaje de idiomas asistido por ordenador: una perspectiva cronológica

El presente artículo aborda la evolución y el avance de las tecnologías del aprendizaje de lenguas asistido por ordenador (CALL por sus siglas en inglés, que corresponden a Computer- Assisted Language Learning) desde una perspectiva histórica. Esta revisión de la literatura sobre tecnologías del aprendizaje de lenguas asistido por ordenador comienza con la definición del concepto de CALL y otros términos relacionados, entre los que podemos destacar CAI, CAL, CALI, CALICO, CALT, CAT, CBT, CMC o CMI, para posteriormente analizar las primeras iniciativas de implementación del aprendizaje de lenguas asistido por ordenador en las décadas de 1950 y 1960, avanzando posteriormente a las décadas de las computadoras centrales y las microcomputadoras. En última instancia, se revisan las tecnologías emergentes en el siglo XXI, especialmente tras la irrupción de Internet, donde se presentan el impacto del e-learning, b-learning, las tecnologías de la Web 2.0, las redes sociales e incluso el aprendizaje de lenguas asistido por robots.The main focus of this paper is on the advancement of technologies in Computer-Assisted Language Learning (CALL) from a historical perspective. The review starts by defining CALL and its related terminology, highlighting the first CALL attempts in 1950s and 1960s, and then moving to other decades of mainframes and microcomputers. At the final step, emerging technologies in 21st century will be reviewed

Do Chatbots Dream of Androids? Prospects for the Technological Development of Artificial Intelligence and Robotics

The article discusses the main trends in the development of artificial intelligence systems and robotics (AI&R). The main question that is considered in this context is whether artificial systems are going to become more and more anthropomorphic, both intellectually and physically. In the current article, the author analyzes the current state and prospects of technological development of artificial intelligence and robotics, and also determines the main aspects of the impact of these technologies on society and economy, indicating the geopolitical strategic nature of this influence. The author considers various approaches to the definition of artificial intelligence and robotics, focusing on the subject-oriented and functional ones. It also compares AI&R abilities and human abilities in areas such as categorization, pattern recognition, planning and decision making, etc. Based on this comparison, we investigate in which areas AI&R’s performance is inferior to a human, and in which cases it is superior to one. The modern achievements in the field of robotics and artificial intelligence create the necessary basis for further discussion of the applicability of goal setting in engineering, in the form of a Turing test. It is shown that development of AI&R is associated with certain contradictions that impede the application of Turing’s methodology in its usual format. The basic contradictions in the development of AI&R technologies imply that there is to be a transition to a post-Turing methodology for assessing engineering implementations of artificial intelligence and robotics. In such implementations, on the one hand, the ‘Turing wall’ is removed, and on the other hand, artificial intelligence gets its physical implementation

Social Situatedness: Vygotsky and Beyond

The concept of ‘social situatedness’, i.e. the idea that the development of individual intelligence requires a social (and cultural) embedding, has recently received much attention in cognitive science and artificial intelligence research. The work of Lev Vygotsky who put forward this view already in the 1920s has influenced the discussion to some degree, but still remains far from well known. This paper therefore aims to give an overview of his cognitive development theory and discuss its relation to more recent work in primatology and socially situated artificial intelligence, in particular humanoid robotics

A Review of Verbal and Non-Verbal Human-Robot Interactive Communication

In this paper, an overview of human-robot interactive communication is presented, covering verbal as well as non-verbal aspects of human-robot interaction. Following a historical introduction, and motivation towards fluid human-robot communication, ten desiderata are proposed, which provide an organizational axis both of recent as well as of future research on human-robot communication. Then, the ten desiderata are examined in detail, culminating to a unifying discussion, and a forward-looking conclusion

Autonomous Systems as Legal Agents: Directly by the Recognition of Personhood or Indirectly by the Alchemy of Algorithmic Entities

The clinical manifestations of platelet dense (δ) granule defects are easy bruising, as well as epistaxis and bleeding after delivery, tooth extractions and surgical procedures. The observed symptoms may be explained either by a decreased number of granules or by a defect in the uptake/release of granule contents. We have developed a method to study platelet dense granule storage and release. The uptake of the fluorescent marker, mepacrine, into the platelet dense granule was measured using flow cytometry. The platelet population was identified by the size and binding of a phycoerythrin-conjugated antibody against GPIb. Cells within the discrimination frame were analysed for green (mepacrine) fluorescence. Both resting platelets and platelets previously stimulated with collagen and the thrombin receptor agonist peptide SFLLRN was analysed for mepacrine uptake. By subtracting the value for mepacrine uptake after stimulation from the value for uptake without stimulation for each individual, the platelet dense granule release capacity could be estimated. Whole blood samples from 22 healthy individuals were analysed. Mepacrine incubation without previous stimulation gave mean fluorescence intensity (MFI) values of 83±6 (mean ± 1 SD, range 69–91). The difference in MFI between resting and stimulated platelets was 28±7 (range 17–40). Six members of a family, of whom one had a known δ-storage pool disease, were analysed. The two members (mother and son) who had prolonged bleeding times also had MFI values disparate from the normal population in this analysis. The values of one daughter with mild bleeding problems but a normal bleeding time were in the lower part of the reference interval

Internet of robotic things : converging sensing/actuating, hypoconnectivity, artificial intelligence and IoT Platforms

The Internet of Things (IoT) concept is evolving rapidly and influencing newdevelopments in various application domains, such as the Internet of MobileThings (IoMT), Autonomous Internet of Things (A-IoT), Autonomous Systemof Things (ASoT), Internet of Autonomous Things (IoAT), Internetof Things Clouds (IoT-C) and the Internet of Robotic Things (IoRT) etc.that are progressing/advancing by using IoT technology. The IoT influencerepresents new development and deployment challenges in different areassuch as seamless platform integration, context based cognitive network integration,new mobile sensor/actuator network paradigms, things identification(addressing, naming in IoT) and dynamic things discoverability and manyothers. The IoRT represents new convergence challenges and their need to be addressed, in one side the programmability and the communication ofmultiple heterogeneous mobile/autonomous/robotic things for cooperating,their coordination, configuration, exchange of information, security, safetyand protection. Developments in IoT heterogeneous parallel processing/communication and dynamic systems based on parallelism and concurrencyrequire new ideas for integrating the intelligent “devices”, collaborativerobots (COBOTS), into IoT applications. Dynamic maintainability, selfhealing,self-repair of resources, changing resource state, (re-) configurationand context based IoT systems for service implementation and integrationwith IoT network service composition are of paramount importance whennew “cognitive devices” are becoming active participants in IoT applications.This chapter aims to be an overview of the IoRT concept, technologies,architectures and applications and to provide a comprehensive coverage offuture challenges, developments and applications