English
Related papers

Related papers: Long-term Power Grid Planning via Answer Set Progr…

200 papers

With the ongoing energy transition, power grids are evolving fast. They operate more and more often close to their technical limit, under more and more volatile conditions. Fast, essentially real-time computational approaches to evaluate…

Systems and Control · Electrical Eng. & Systems 2025-01-30 Marc Gillioz , Guillaume Dubuis , Philippe Jacquod

Answer set programming (ASP) is a form of declarative programming that allows to succinctly formulate and efficiently solve complex problems. An intuitive extension of this formalism is communicating ASP, in which multiple ASP programs…

Logic in Computer Science · Computer Science 2011-09-13 Kim Bauters , Jeroen Janssen , Steven Schockaert , Dirk Vermeir , Martine De Cock

Traditional Answer Set Programming (ASP) rests upon one-shot solving. A logic program is fed into an ASP system and its stable models are computed. The high practical relevance of dynamic applications led to the development of multi-shot…

Programming Languages · Computer Science 2015-11-05 Martin Gebser , Phillip Obermeier , Torsten Schaub

Answer Set Programming (ASP) is a declarative programming paradigm based on logic programming and non-monotonic reasoning. It is a tremendously powerful tool for describing and solving combinatorial problems. Like any other language, ASP…

Artificial Intelligence · Computer Science 2025-11-13 Connar Hite , Sean Saud , Raef Taha , Nayim Rahman , Tanvir Atahary , Scott Douglass , Tarek Taha

Design of an effective and reliable communication network supporting smart grid applications requires a selection of appropriate communication technologies and protocols. The objective of this paper is to study and quantify the capabilities…

Networking and Internet Architecture · Computer Science 2019-02-01 Desong Bian , Murat Kuzlu , Manisa Pipattanasomporn , Saifur Rahman , Di Shi

Answer set programming (ASP) is a popular nonmonotonic-logic based paradigm for knowledge representation and solving combinatorial problems. Computing the answer set of an ASP program is NP-hard in general, and researchers have been…

Artificial Intelligence · Computer Science 2021-04-06 Fang Li , Huaduo Wang , Gopal Gupta

We deal with a challenging scheduling problem on parallel machines with sequence-dependent setup times and release dates from a real-world application of semiconductor work-shop production. There, jobs can only be processed by dedicated…

Artificial Intelligence · Computer Science 2024-11-01 Thomas Eiter , Tobias Geibinger , Nysret Musliu , Johannes Oetsch , Peter Skocovsky , Daria Stepanova

A number of governments and organizations around the world agree that the first step to address national and international problems such as energy independence, global warming or emergency resilience, is the redesign of electricity…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-06-05 Marıa Arenas-Martınez , Sergio Herrero-Lopez , Abel Sanchez , John R. Williams , Paul Roth , Paul Hofmann , Alexander Zeier

Energy forecasting has a vital role to play in smart grid (SG) systems involving various applications such as demand-side management, load shedding, and optimum dispatch. Managing efficient forecasting while ensuring the least possible…

Machine Learning · Computer Science 2022-05-25 Devinder Kaur , Shama Naz Islam , Md. Apel Mahmud , Md. Enamul Haque , ZhaoYang Dong

The Smart grid (SG), generally known as the next-generation power grid emerged as a replacement for ill-suited power systems in the 21st century. It is in-tegrated with advanced communication and computing capabilities, thus it is ex-pected…

Artificial Intelligence · Computer Science 2024-09-05 Navod Neranjan Thilakarathne , Mohan Krishna Kagita , Surekha Lanka , Hussain Ahmad

Evolving smart grids require flexible and adaptive control methods. A harmonized hybrid cyber-physical framework, which considers both physical and cyber layers and ensures adaptability, is one of the critical challenges to enable…

Machine Learning · Computer Science 2025-12-01 Muhammad Siddique , Sohaib Zafar

We present alternative approaches to routing and scheduling in Answer Set Programming (ASP), and explore them in the context of Multi-agent Path Finding. The idea is to capture the flow of time in terms of partial orders rather than time…

Artificial Intelligence · Computer Science 2024-03-20 Roland Kaminski , Torsten Schaub , Tran Cao Son , Jiří Švancara , Philipp Wanko

In Answer Set Programming (ASP), the user can define declaratively a problem and solve it with efficient solvers; practical applications of ASP are countless and several constraint problems have been successfully solved with ASP. On the…

Artificial Intelligence · Computer Science 2023-05-23 Paola Cappanera , Marco Gavanelli , Maddalena Nonato , Marco Roma

Answer Set Programming (ASP) is a well-established formalism for logic programming. Problem solving in ASP requires to write an ASP program whose answers sets correspond to solutions. Albeit the non-existence of answer sets for some ASP…

Logic in Computer Science · Computer Science 2020-02-19 Giovanni Amendola , Carmine Dodaro , Francesco Ricca

Online identification of post-contingency transient stability is essential in power system control, as it facilitates the grid operator to decide and coordinate system failure correction control actions. Utilizing machine learning methods…

Systems and Control · Computer Science 2017-05-23 James J. Q. Yu , David J. Hill , Albert Y. S. Lam , Jiatao Gu , Victor O. K. Li

Power demand forecasting is a critical task for achieving efficiency and reliability in power grid operation. Accurate forecasting allows grid operators to better maintain the balance of supply and demand as well as to optimize operational…

Other Computer Science · Computer Science 2019-04-30 Yao Cheng , Chang Xu , Daisuke Mashima , Vrizlynn L. L. Thing , Yongdong Wu

In the design of integrated circuits, one critical metric is the maximum delay introduced by combinational modules within the circuit. This delay is crucial because it represents the time required to perform a computation: in an…

Artificial Intelligence · Computer Science 2026-01-14 Alessandro Bertagnon , Marcello Dalpasso , Michele Favalli , Marco Gavanelli

Smart grid is an energy network that integrates advanced power equipment, communication technology and control technology. It can transmit two-way power and data among all components of the grid at the same time. The existing smart grid…

Networking and Internet Architecture · Computer Science 2020-11-20 Qiyue Li , Tengfei Cao , Wei Sun , Weitao Li

The ongoing transition to renewable energy is increasing the share of fluctuating power sources like wind and solar, raising power grid volatility and making grid operation increasingly complex and costly. In our prior work, we have…

Artificial Intelligence · Computer Science 2023-02-16 Anton R. Fuxjäger , Kristian Kozak , Matthias Dorfer , Patrick M. Blies , Marcel Wasserer

The lifelong control problem of an off-grid microgrid is composed of two tasks, namely estimation of the condition of the microgrid devices and operational planning accounting for the uncertainties by forecasting the future consumption and…

Systems and Control · Electrical Eng. & Systems 2020-05-19 Simone Totaro , Ioannis Boukas , Anders Jonsson , Bertrand Cornélusse