All Stories

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