All Stories

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