All Stories

  1. CFD Modelling and Multi-Objective Optimization of a Segmented Open Sorption Heat Storage
  2. Decarbonizing CHP Systems via Hydrogen: Specific Drivers and Hurdles in Highly Industrialized Regions Like Saarland, Germany
  3. Comparative Assessment of Supervised Machine Learning Models for Predicting Water Uptake in Sorption-Based Thermal Energy Storage
  4. Weather and air pollution influences on solar energy performance in West Africa: A Bayesian nonlinear mixed-effects approach
  5. Virtual Energy Replication Framework for Predicting Residential PV Power, Heat Pump Load, and Thermal Comfort Using Weather Forecast Data
  6. Threat Modeling and Attacks on Digital Twins of Vehicles: A Systematic Literature Review
  7. Adapting Energy Conservation Building Code-2023 for the Diverse Climates of Pakistan: A Path to Affordable Energy Efficiency and Sustainable Living
  8. Multi-Level Simulation Framework for Degradation-Aware Operation of a Large-Scale Battery Energy Storage Systems
  9. Invisible eyes: Real-time activity detection through encrypted Wi-Fi traffic without machine learning
  10. Control strategies for heat pumps in a residential area under consideration of system operator benefits and grid stability
  11. Multi-Timescale Validation of Satellite-Derived Global Horizontal Irradiance in Côte d’Ivoire
  12. Methodology for the Automatic Generation of Optimization Models of Systems of Flexible Energy Resources
  13. Interfacing TRNSYS with MATLAB for Building Energy System Optimization
  14. A Case Study of the Use of Smart EV Charging for Peak Shaving in Local Area Grids
  15. Co-Simulation Strategy for Photovoltaic Power Prediction and Validation of Digital Twin
  16. The Effect of Target Variable Rescaling on Energy Consumption Prediction in a Vehicle Powernet using Multi-Target Regression Trees
  17. FAIRness für Modelle und Simulationen
  18. A methodology for multi-criteria assessment of renewable integrated energy supply options and alternative HVAC systems in a household
  19. Numerical Investigation of the Adsorption Process of Zeolite/Water in a Thermochemical Reactor for Seasonal Heat Storage
  20. Integration einer Power-to-Gas-Anlage
  21. Electric Vehicle Battery Storage Concentric Intelligent Home Energy Management System Using Real Life Data Sets
  22. Multi-Objective Techno-Economic Optimization of Design Parameters for Residential Buildings in Different Climate Zones
  23. Towards zero energy solar households – A model-based simulation and optimization analysis for a humid subtropical climate
  24. Rolling Horizon Based Time-Triggered Distributed Control for AC/DC Home Area Power Network
  25. Forecast Quality of Physics-Based and Data-Driven PV Performance Models for a Small-Scale PV System
  26. A guidance framework for synthesis of multi-core reconfigurable real-time systems
  27. Guest Editorial Special Section on the 2018 Conference on Automation Science and Engineering (CASE)
  28. Two-Stage Multi-time Scale Energy Management & Control framework for Home Area Power Network
  29. Modeling and Optimizing Energy Supply and Demand in Home Area Power Network (HAPN)
  30. Scheduling Periodic and Aperiodic Tasks with Time, Energy Harvesting and Precedence Constraints on Multi-core Systems
  31. On Parametrizing Feasible Reconfigurable Systems Under Real-Time, Energy, and Resource Sharing Constraints
  32. Context-free Forbidden Path Control of Net Condition/Event Systems
  33. Performance modeling of PVT collectors: Implementation, validation and parameter identification approach using TRNSYS
  34. Building a Smart Domestic Water Management Controller
  35. IEEE International Conference on Automation Science and Engineering 2018
  36. Model Centric Development of Genetic Algorithm Based Optimal Load Scheduler for Smart Home
  37. Optimal Scheduling of Energy Supply Entities in Home Area Power Network
  38. Multiobjective Optimization Approach for a Portable Development of Reconfigurable Real-Time Systems: From Specification to Implementation
  39. Reconfiguration Control of Dynamic Reconfigurable Discrete Event Systems Based on NCESs
  40. Modeling and Verification of a Reliable Multi-Agent Solution Promoting the Autonomy and Self-Sufficiency of Microgrids in an Isolated Location
  41. Portable Synthesis of Multi-core Real-Time Systems with Reconfiguration Constraints
  42. 52. Regelungstechnisches Kolloquium
  43. Forecast-Driven Power Planning Approach for Microgrids Incorporating Smart Loads Using Stochastic Optimization
  44. SoMAS Based Cooperative Control for Cyber Physical Energy Systems
  45. Simulation and analysis of reconfigurable assembly systems based on R-TNCES
  46. Shortest Legal Firing Sequence of Net Condition/Event Systems Using Integer Linear Programming
  47. Welcome Message from General and Program Chairs
  48. Modeling, Simulation and Verification of Probabilistic Reconfigurable Discrete-Event Systems Under Energy and Memory Constraints
  49. Stochastic optimization framework for scheduling isolated microgrids
  50. Battery management system in isolated microgrids considering forecast uncertainty
  51. Model-based analysis of the performance and the environmental impact of solar thermal and heat pump systems
  52. Multi-objective optimization for scheduling isolated microgrids
  53. Designing Efficient Reconfigurable Control Systems Using IEC61499 and Symbolic Model Checking
  54. From Specification to Implementation of an Automotive Transport System
  55. Thermoelectric Applications for Home Use: Thermostat and Green Barbecue 2.0
  56. Analysis and Control of Dynamic Reconfiguration Processes of Manufacturing Systems
  57. Real-time power balancing in photovoltaic-integrated smart micro-grid
  58. Modeling and simulation of local flexibilities and their effect to the entire power system
  59. Activation of electrical loads under electricity price uncertainty
  60. Simulation and performance analysis of combined parallel solar thermal and ground or air source heat pump systems
  61. Optimized Design of Thermoelectric Energy Harvesting Systems for Waste Heat Recovery from Exhaust Pipes
  62. PV-battery-diesel microgrid design for buildings subject to severe power outages
  63. Load control for supply-demand balancing under Renewable Energy forecasting
  64. PV-Battery-Diesel microgrid layout design based on stochastic optimization
  65. Short term load forecasting using hybrid adaptive fuzzy neural system: The performance evaluation
  66. A TRNSYS-based simulation framework for the analysis of solar thermal and heat pump systems
  67. A user-friendly simulation framework for the analysis of solar thermal and heat pump systems using TRNSYS
  68. Model-Based Analysis of Solar Thermal and Heat Pump Systems Using TRNSYS
  69. medical robotic
  70. Enabling reconfiguration of adaptive control systems using real-time context-aware framework
  71. Reconfigurable function blocks: Extension to the standard IEC 61499
  72. Thermoelectric power generation: Peltier element versus thermoelectric generator
  73. Energy management for islanded buildings integrating renewables and diesel generators
  74. Model-driven soft sensor for predicting biomass calorific value in combustion power plants
  75. Predictive power management for a solar-powered off-grid surface water quality monitoring system
  76. Priced discrete Automata for modeling energy efficient manufacturing systems
  77. Soft-sensing of key process variables in a biomass combustion plant
  78. R-UML: An UML Profile for Verification of Flexible Control Systems
  79. Multi-domain modeling of distributed energy systems - The MOCES approach
  80. Energy management systems for hospitals in Gaza-strip
  81. Multiphysics Simulation in the Development of Thermoelectric Energy Harvesting Systems
  82. Mathematical Problems in Petri Nets Theory and Applications
  83. Modeling and Verification of Reconfigurable and Energy-Efficient Manufacturing Systems
  84. Reconfigurable Coordination of Distributed Discrete Event Control Systems
  85. Optimal Startup Control of a Steam Power Plant Using the JModelica Platform★
  86. Towards a Safer and More Optimal Treatment of the Supracondylar Humerus Fracture
  87. Modeling and simulation of a thermoelectric Energy Harvesting System for control design purposes
  88. "OWLracle" — Predicting the impact of interdisciplinary energy efficiency methods at German universities using BCVTB
  89. Design of distributed energy systems: Role and requirements of modeling and simulation
  90. Re-use of existing simulation models for DCS engineering via the Functional Mock-up Interface
  91. Toward a decentralized forecast system for distributed power generation
  92. Component-Oriented Modeling of Thermoelectric Devices for Energy System Design
  93. A Component-Oriented Model for Wastewater Pumping Plants
  94. Object-Oriented Modeling of an Energy Harvesting System Based on Thermoelectric Generators
  95. Engineering a Predictive Energy Consumption Model for University Properties
  96. Energy engineering in the virtual factory
  97. Message from program co-chairs
  98. OOAD-Entwicklungsprozess einer Modelica-Bibliothek für vernetzte Automatisierungssysteme
  99. On Formal Verification of Function Block Applications in Safety-related Software Development
  100. Effiziente Modellierung und Simulation von Kommunikationsnetzen in Modelica
  101. Verifikation und Validierung sicherheitsgerichteter SPS-Programme
  102. Transformation of Function Block Diagrams to UPPAAL timed automata for the verification of safety applications
  103. “Safety automata” — A new specification language for the development of PLC safety applications
  104. Model-based design and validation of waste heat recovery systems
  105. Modeling wastewater pumping stations for cost-efficient control
  106. Function Block Diagram to UPPAAL Timed Automata Transformation Based on Formal Models
  107. Modeling of Networked Automation Systems for simulation and model checking of time behavior
  108. Object-oriented simulation model of thermoelectric devices for energy system design
  109. Guest Editorial
  110. An MDD process for IEC 61131-based industrial automation systems
  111. Verification and validation of safety applications based on PLCopen safety function blocks
  112. Towards an automated verification process for industrial safety applications
  113. A methodology to upgrade legacy industrial systems to meet safety regulations
  114. Component-oriented ORC plant modeling for efficient system design and profitability prediction
  115. Multi-Phase Markov models for functional safety prediction: Efficient simulation of Markov models used for safety engineering and the online integration of individual systems' diagnostic and maintenance history
  116. Preface
  117. Markov Modeling of Delays in Networked Automation and Control Systems Using Colored Petri Net Models Simulation
  118. Comparison of 4 numerical solvers for stiff and hybrid systems simulation
  119. Estimating delays in networked control systems using colored Petri nets and Markov chain models
  120. Combining IEC 61499 and ISA S88 for Batch Control
  121. Evaluation of Indoor Positioning Technologies under industrial application conditions in the SmartFactoryKL based on EN ISO 9283
  122. Modellierung und Simulation vernetzter Automatisierungs- und Regelungssysteme in ModelicaModeling and Simulation of Networked Automation and Control Systems in Modelica
  123. An IEC 61499 interpretation and implementation focused on usability
  124. Component based colored Petri net model for Ethernet based networked control systems
  125. Feasibility analysis for networked control systems by simulation in Modelica
  126. Intelligent component based batch control using IEC61499 and ANSI/ISA S88
  127. Reactivity analysis of different Networked Automation System architectures
  128. Wahrscheinlichkeitsbasierte Modellverifikation Netzbasierter Automatisierungssysteme (Probabilistic Model Checking of Networked Automation Systems)
  129. Deployment of IEC 61499 compliant distributed control applications
  130. DesLaNAS - a language for describing Networked Automation Systems
  131. Measuring the impact of vertical integration on response times in ethernet fieldbuses
  132. Software quality measures to determine the diagnosability of PLC applications
  133. Defining IEC 61499 Compliance Profiles using UML and OCL
  134. Simulation approach for evaluating response times in networked automation systems
  135. Development process for distributed automation systems combining UML and IEC 61499
  136. UML-based Approach for the Re-Engineering of PLC Programs
  137. UML-based Development Process for IEC 61499 with Automatic Test-case Generation
  138. A Formal Method Based Re-Implementation Concept for PLC Programs and Its Application
  139. Combination of UML Modeling and the IEC 61499 Function Block Concept for the Development of Distributed Automation Systems
  140. Evaluation of Response Time in Ethernet-based Automation Systems
  141. Optimizing Quality of Control in Networked Automation Systems using Probabilistic Models
  142. Auction-based agent-oriented process control
  143. Dependability analysis of networked automation systems by probabilistic delay time analysis
  144. Designing fault-tolerant controllers using SIPN and model-checking
  145. Hierarchical Design of Logic Controllers Using Signal Interpreted Petri Nets
  146. Controller design for an FMS using Signal Interpreted Petri Nets and SFC: Validation of both descriptions via model-checking
  147. Panel discussion on "formal methods in plc control"
  148. Visual PLC-programming using signal interpreted Petri nets
  149. Entwurf und formale Analyse Petrinetz-basierter Steureungsalgorithmen
  150. Modellierung flexibler Fertigungslinien und Bestimmung gültiger Produktionsfolgen mit Hilfe einer ereignisdiskreten Zustandsbeschreibung (Modelling of Flexible Assembly Lines and Production Sequencing Based on a Discrete State Description)
  151. Petri Net-Based Descriptions for Discrete-Continuous Systems
  152. MITTEILUNG
  153. ÜBERSICHTSAUFSATZ · SURVEY PAPER: Methoden und Werkzeuge zum industriellen Steuerungsentwurf - Historie, Stand, Ausblick
  154. Steuerungsentwurfstool Netmate
  155. Designing generic/reusable functionality based controllers for distributed control using UML
  156. Modeling Techniques for Distributed Control Systems Based on the IEC 61499 Standard ɩĻ Current Approaches and Open Problems
  157. Development of re-configurable distributed controllers in 61499 based on task schedules described by UML diagrams or gantt charts
  158. Formalization and Visualization of Non-binary PLC Programs
  159. Migration of a PLC Controller to an IEC 61499 Compliant Distributed Control System: Hands-on Experiences