English
Related papers

Related papers: Proceedings Third International Workshop on Hybrid…

200 papers

The SYNT workshop aims to bring together researchers interested in the broad area of synthesis of computing systems. The goal is to foster the development of frontier techniques in automating the development of computing system.…

Logic in Computer Science · Computer Science 2016-11-23 Ruzica Piskac , Rayna Dimitrova

The advent of IoT is a great opportunity to reinvigorate Computing by focusing on autonomous system design. This certainly raises technology questions but, more importantly, it requires building new foundation that will systematically…

Systems and Control · Computer Science 2018-06-27 Joseph Sifakis

The SYNT workshop aims to bring together researchers interested in the broad area of synthesis of computing systems. The goal is to foster the development of frontier techniques in automating the development of computing system.…

Programming Languages · Computer Science 2016-02-03 Pavol Černý , Viktor Kuncak , Madhusudan Parthasarathy

As testified by new regulations like the European AI act, the worries about the societal impact of (autonomous) software technologies are becoming of public concern. Social and human values, besides the traditional software behaviour and…

Software Engineering · Computer Science 2024-06-14 Martina De Sanctis , Paola Inverardi , Patrizio Pelliccione

We present an historical overview about the connections between the analysis of risk and the control of autonomous systems. We offer two main contributions. Our first contribution is to propose three overlapping paradigms to classify the…

Artificial Intelligence · Computer Science 2022-07-13 Yuheng Wang , Margaret P. Chapman

The concept of autonomy is key to the IoT vision promising increasing integration of smart services and systems minimizing human intervention. This vision challenges our capability to build complex open trustworthy autonomous systems. We…

Systems and Control · Computer Science 2018-11-27 Joseph Sifakis

UIST researchers develop tools to address user challenges. However, user interactions with AI evolve over time through learning, adaptation, and repurposing, making one time evaluations insufficient. Capturing these dynamics requires…

Home assistant chat-bots, self-driving cars, drones or automated negotiations are some of the several examples of autonomous (artificial) agents that have pervaded our society. These agents enable the automation of multiple tasks, saving…

Human-Computer Interaction · Computer Science 2021-03-16 Elias Fernández Domingos , Inês Terrucha , Rémi Suchon , Jelena Grujić , Juan C. Burguillo , Francisco C. Santos , Tom Lenaerts

Progress in the field of artificial intelligence has been accelerating rapidly in the past two decades. Various autonomous systems from purely digital ones to autonomous vehicles are being developed and deployed out on the field. As these…

Computers and Society · Computer Science 2019-06-20 Ville Vakkuri , Kai-Kristian Kemell , Joni Kultanen , Mikko Siponen , Pekka Abrahamsson

As in the car industry for quite some time, dynamic simulation of complete vehicles is being practiced more and more in the development of off-road machinery. However, specific questions arise due not only to company structure and size, but…

Computational Engineering, Finance, and Science · Computer Science 2011-08-30 Reno Filla , Jan-Ove Palmberg

Control schemes for autonomous systems are often designed in a way that anticipates the worst case in any situation. At runtime, however, there could exist opportunities to leverage the characteristics of specific environment and operation…

Systems and Control · Electrical Eng. & Systems 2020-05-11 Chao Huang , Shichao Xu , Zhilu Wang , Shuyue Lan , Wenchao Li , Qi Zhu

As the field of automated vehicles (AVs) advances, it has become increasingly critical to develop human-machine interfaces (HMI) for both internal and external communication. Critical dialogue is emerging around the potential necessity for…

Human-Computer Interaction · Computer Science 2024-03-19 Haoyu Dong , Tram Thi Minh Tran , Pavlo Bazilinskyy , Marius Hoggenmüller , Debargha Dey , Silvia Cazacu , Mervyn Franssen , Ruolin Gao

Many real-world control problems involve both discrete decision variables - such as the choice of control modes, gear switching or digital outputs - as well as continuous decision variables - such as velocity setpoints, control gains or…

Autonomous driving is not one single technology but rather a complex system integrating many technologies, which means that teaching autonomous driving is a challenging task. Indeed, most existing autonomous driving classes focus on one of…

Computers and Society · Computer Science 2018-02-28 Jie Tang , Shaoshan Liu , Songwen Pei , Stephane Zuckerman , Chen Liu , Weisong Shi , Jean-Luc Gaudiot

The networking field has recently started to incorporate artificial intelligence (AI), machine learning (ML), big data analytics combined with advances in networking (such as software-defined networks, network functions virtualization, and…

Computers and Society · Computer Science 2018-04-10 Touseef Yaqoob , Muhammad Usama , Junaid Qadir , Gareth Tyson

Modern industrial systems require updated approaches to safety management, as the tight interplay between cyber-physical, human, and organizational factors has driven their processes toward increasing complexity. In addition to dealing with…

Systems and Control · Electrical Eng. & Systems 2025-09-09 Francesco Simone , Marco Bortolini , Giovanni Mazzuto , Giulio di Gravio , Riccardo Patriarca

The Agentic Service Ecosystem consists of heterogeneous autonomous agents (e.g., intelligent machines, humans, and human-machine hybrid systems) that interact through resource exchange and service co-creation. These agents, with distinct…

Multiagent Systems · Computer Science 2025-08-12 Xuwen Zhang , Xiao Xue , Xia Xie , Qun Ma , Xiangning Yu , Deyu Zhou , Yifan Wang , Ming Zhang

Semi-autonomous vehicles are increasingly serving critical functions in various settings from mining to logistics to defence. A key characteristic of such systems is the presence of the human (drivers) in the control loop. To ensure safety,…

Human-Computer Interaction · Computer Science 2013-01-03 Siraj Shaikh , Padmanabhan Krishnan

Industry has always been in the pursuit of becoming more economically efficient and the current focus has been to reduce human labour using modern technologies. Even with cutting edge technologies, which range from packaging robots to AI…

Multiagent Systems · Computer Science 2019-10-22 Leonardo A. Espinosa Leal , Magnus Westerlund , Anthony Chapman

To determine an optimal plan for complex tasks, one often deals with dynamic and hierarchical relationships between several entities. Traditionally, such problems are tackled with optimal control, which relies on the optimization of cost…

Robotics · Computer Science 2025-05-12 Matteo Priorelli , Ivilin Peev Stoianov
‹ Prev 1 4 5 6 7 8 10 Next ›