All Stories

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