English
Related papers

Related papers: Modeling Cyber-Physical Systems: Model-Driven Spec…

200 papers

Analysis and resilient design of Cyber-physical Systems have greatly benefited from energy based concepts of passivity and dissipativity. Recently, there has been much research devoted to the use of passivity indices in different components…

Systems and Control · Computer Science 2019-03-01 Hasan Zakeri , Panos J. Antsaklis

We present a data-driven modeling and control framework for physics-based building emulators. Our approach consists of: (a) Offline training of differentiable surrogate models that accelerate model evaluations, provide cost-effective…

Systems and Control · Electrical Eng. & Systems 2024-04-03 Saman Mostafavi , Chihyeon Song , Aayushman Sharma , Raman Goyal , Alejandro Brito

Modeling processes are the activities of capturing and representing processes and control of their dynamic behavior. Desired features of the model include capture of relevant aspects of a real phenomenon, understandability, and completeness…

Software Engineering · Computer Science 2017-07-28 Sabah Al-Fedaghi , Haya Alahmad

The analytical prediction of building energy performance in residential buildings based on the heat losses of its individual envelope components is a challenging task. It is worth noting that this field is still in its infancy, with…

The evaluation of Deep Learning models has traditionally focused on criteria such as accuracy, F1 score, and related measures. The increasing availability of high computational power environments allows the creation of deeper and more…

Machine Learning · Computer Science 2023-02-03 Yinlena Xu , Silverio Martínez-Fernández , Matias Martinez , Xavier Franch

Recommender systems have significantly developed in recent years in parallel with the witnessed advancements in both internet of things (IoT) and artificial intelligence (AI) technologies. Accordingly, as a consequence of IoT and AI,…

Composition is an important feature of a specification language, as it enables the design of a complex system in terms of a product of its parts. Decomposition is equally important in order to reason about structural properties of a system.…

Logic in Computer Science · Computer Science 2022-07-05 Benjamin Lion , Farhad Arbab , Carolyn Talcott

Model predictive control of residential air conditioning could reduce energy costs and greenhouse gas emissions while maintaining or improving occupants' thermal comfort. However, most approaches to predictive air conditioning control…

Systems and Control · Electrical Eng. & Systems 2024-09-17 Elias N. Pergantis , Parveen Dhillon , Levi D. Reyes Premer , Alex H. Lee , Davide Ziviani , Kevin J. Kircher

Energy-efficient software helps improve mobile device experiences and reduce the carbon footprint of data centers. However, energy goals are often de-prioritized in order to meet other requirements. We take inspiration from recent work…

Global digitalization has given birth to the explosion of digital services in approximately every sector of contemporary life. Applications of artificial intelligence, blockchain technologies, and internet of things are promising to…

Computers and Society · Computer Science 2020-06-15 Nuoa Lei

Current autonomous building research primarily focuses on energy efficiency and automation. While traditional artificial intelligence has advanced autonomous building research, it often relies on predefined rules and struggles to adapt to…

Artificial Intelligence · Computer Science 2024-10-28 Reachsak Ly , Alireza Shojaei

The past decade has seen the advent of numerous building energy efficiency visualization and simulation systems; however, most of them rely on theoretical thermal models to suggest building structural design for new constructions and…

Graphics · Computer Science 2018-11-14 Felix Hamza-Lup , Marcel Maghiar

Building Information Modeling (BIM) produces three-dimensional models of buildings combining the geometrical information with a wide range of properties. BIM is slowly but inevitably revolutionizing the architecture, engineering, and…

Logic in Computer Science · Computer Science 2022-05-19 Joaquín Arias , Seppo Törmä , Manuel Carro , Gopal Gupta

The contemporary development of hardware components is a prerequisite for increasing the concentration of computing power. System software is developing at a much slower pace. To use available resources efficiently modeling is required.…

Operating Systems · Computer Science 2014-02-21 Asen Petkov Iliev

Model-based engineering promises to boost productivity and quality of complex systems development. In the context of safety-critical systems, a traditionally highly regulated and conservative domain, the use of models gained importance in…

Software Engineering · Computer Science 2021-06-07 Marc Zeller , Daniel Ratiu , Kai Hoefig

In this paper an efficient model based diagnostic process is described for systems whose components possess a causal relation between their inputs and their outputs. In this diagnostic process, firstly, a set of focuses on likely broken…

Artificial Intelligence · Computer Science 2022-09-21 Nico Roos

Pipelining is a well understood and often used implementation technique for increasing the performance of a hardware system. We develop several SystemC/C++ modeling techniques that allow us to quickly model, simulate, and evaluate…

Hardware Architecture · Computer Science 2008-01-16 Ed Harcourt

Clouds gather a vast volume of telemetry from their networked systems which contain valuable information that can help solve many of the problems that continue to plague them. However, it is hard to extract useful information from such raw…

Networking and Internet Architecture · Computer Science 2020-04-28 Behnaz Arzani , Bita Rouhani

Cyber-physical systems (CPS), in most instances, represent systems of systems with an informationally decentralized structure such as emerging mobility systems, networked control systems, sustainable manufacturing, smart power grids, power…

Optimization and Control · Mathematics 2024-05-15 Andreas Malikopoulos

The development and maintenance of cloud software is complicated by complex but crucial technological requirements that are tightly coupled with each other and with the softwares actual business functionality. Consequently, the complexity…

Software Engineering · Computer Science 2014-08-26 Antonio Navarro Perez , Bernhard Rumpe