Improve Synthesized Supervisor Readability
2 weken geleden
About the Project
TNO is seeking a talented MSc student to contribute to the improvement of synthesized supervisor readability in control systems. The goal of this project is to enhance the design of control systems by optimizing the representation of guards, which are crucial for ensuring safe control and explainability.
Background
Cyber-physical systems consist of mechatronic components controlled by software, including supervisory controllers that orchestrate system interactions. Industrial-scale systems often have complex and non-trivial supervisory controllers, making it challenging to develop them correctly. Synthesis-based engineering (SBE) provides assistance by combining model-based engineering with computer-aided design, building on the synthesis procedure to compute correct-by-construction controllers from system models and requirements.
Research Objectives
The primary objective of this project is to explore alternative strategies for computing and/or converting extra guards for controllable events to improve their conciseness and readability. This involves investigating existing literature, shaping new ideas based on the literature, implementing the ideas, and validating the approach. Potential strategies include using alternative binary representations, such as multi-valued decision diagrams (MDDs), or reusing results from related fields like multi-level logic circuit optimization.
Expected Outcomes
If successful, the results of this project could be incorporated into the Eclipse ESCET open-source project, enhancing the readability and conciseness of synthesized supervisors. This would contribute to the development of more explainable and trustworthy control systems, with real industrial impact.
Requirements
To be eligible for this project, you should be an MSc student in Computer Science or Mathematics, with an affinity for formal methods, programming (in Java), and event-based systems. You should also have a sufficient level of English proficiency, be a team player, and be capable of independent work. Additionally, you should have an open and enthusiastic mindset, striving for high-quality research with real industrial impact.
-
Research Assistant: Improving Synthesized Supervisor Guards
3 dagen geleden
Eindhoven, Noord-Brabant, Nederland TNO VoltijdAbout the ProjectCyber-physical systems are complex and require sophisticated control software. Synthesis-based engineering (SBE) helps manage this complexity by computing correct-by-construction controllers from models and requirements. However, synthesized supervisors are often difficult to read, hindering engineer comprehension and trust. This project...
-
Research Assistant: Improving Synthesized Supervisor Guards
5 dagen geleden
Eindhoven, Noord-Brabant, Nederland TNO VoltijdAbout the ProjectCyber-physical systems are becoming increasingly complex, and ensuring their safe control is a significant challenge. Synthesis-based engineering (SBE) provides a promising approach by combining model-based engineering with computer-aided design. However, the readability of synthesized supervisors is often a concern, making it difficult for...
-
Research Assistant: Improving Synthesized Supervisor Guards
22 uur geleden
Eindhoven, Noord-Brabant, Nederland TNO VoltijdAbout the ProjectCyber-physical systems are becoming increasingly complex, and ensuring their safe control is a significant challenge. Synthesis-based engineering (SBE) provides a promising approach by combining model-based engineering with computer-aided design. However, the readability of synthesized supervisors is often a concern, making it difficult for...
-
Eindhoven, Noord-Brabant, Nederland TNO Voltijd{"Job OverviewTNO is seeking a talented MSc student to contribute to the development of novel strategies for improving the readability of synthesized supervisors in cyber-physical systems. As a member of our team, you will work on enhancing the conciseness and readability of guards for controllable events, leveraging formal methods and programming...
-
Improve Synthesis-Based Engineering for Cyber-Physical Systems
7 dagen geleden
Eindhoven, Noord-Brabant, Nederland TNO Voltijd{"Job OverviewTNO is seeking a talented MSc student to contribute to the development of novel strategies for improving the readability of synthesized supervisors in cyber-physical systems. As a member of our team, you will explore alternative approaches for computing and converting extra guards for controllable events, with the goal of enhancing their...
-
Warehouse Supervisor
3 dagen geleden
Eindhoven, Noord-Brabant, Nederland Page Personnel VoltijdJob Title: Supervisor Warehouse Outbound regio EindhovenYou will lead the Outbound B2C department, ensuring the achievement of department objectives and efficiency by measuring processes and setting standards.You will coordinate daily planning with other supervisors, maintain contact with other departments, and report to the Logistics Manager.Key...
-
Manufacturing Engineering Software Supervisor
2 weken geleden
Eindhoven, Noord-Brabant, Nederland Thermo Fisher Scientific VoltijdAbout the RoleWe are seeking a highly skilled and experienced Manufacturing Engineering Software Supervisor to join our team at Thermo Fisher Scientific. As a key member of our Operations Engineering department, you will be responsible for leading a team of engineers and technical specialists to ensure the successful development and implementation of our...
-
Manufacturing Engineering System Integration Supervisor
2 weken geleden
Eindhoven, Noord-Brabant, Nederland Thermo Fisher Scientific VoltijdJob Title: Manufacturing Engineering System Integration SupervisorAs a key member of our Operations team at Thermo Fisher Scientific, you will lead a group of engineers and technical specialists in the Manufacturing Engineering System Integration department. Your primary responsibility will be to ensure the smooth operation of our manufacturing processes,...
-
Manufacturing Engineering Software Supervisor
5 dagen geleden
Eindhoven, Noord-Brabant, Nederland Thermo Fisher Scientific VoltijdJob Title: Manufacturing Engineering Software SupervisorAs a Manufacturing Engineering Software Supervisor at Thermo Fisher Scientific, you will lead a team of engineers and technical specialists within the Operations Engineering department. Your primary responsibility will be to coach and develop your team members, ensuring their personal and professional...
-
Manufacturing Engineering System Integration Supervisor
2 weken geleden
Eindhoven, Noord-Brabant, Nederland Thermo Fisher Scientific VoltijdAbout the RoleThis is a challenging and rewarding opportunity to lead a team of engineers and technical specialists in the Operations department at Thermo Fisher Scientific. As a Supervisor, Manufacturing Engineering System Integration, you will be responsible for coaching and developing your team to ensure personal and professional growth. You will work...
-
Manufacturing Engineering Software Supervisor
3 dagen geleden
Eindhoven, Noord-Brabant, Nederland Thermo Fisher Scientific VoltijdJob Title: Manufacturing Engineering Software SupervisorAs a key member of the Operations Engineering department, we are seeking a highly skilled Manufacturing Engineering Software Supervisor to lead a team of engineers and technical specialists. The successful candidate will be responsible for coaching and developing team members, ensuring personal and...
-
Technical Operations Supervisor
2 weken geleden
Eindhoven, Noord-Brabant, Nederland Thermo Fisher Scientific VoltijdAbout the RoleThis is a challenging and rewarding opportunity to lead a team of engineers and technical specialists within the Operations Engineering department at Thermo Fisher Scientific. As a Supervisor, Manufacturing Engineering System Integration, you will be responsible for coaching and developing your team to ensure personal and professional growth....
-
Manufacturing Engineering System Integration Supervisor
2 weken geleden
Eindhoven, Noord-Brabant, Nederland Thermo Fisher Scientific VoltijdAbout the RoleThis is a challenging and rewarding opportunity to lead a team of engineers and technical specialists within the Operations Engineering department at Thermo Fisher Scientific. As a Supervisor, Manufacturing Engineering System Integration, you will be responsible for coaching and developing your team to ensure personal and professional growth....
-
Technical Operations Supervisor
2 weken geleden
Eindhoven, Noord-Brabant, Nederland Thermo Fisher Scientific VoltijdJob SummaryWe are seeking a highly skilled and experienced Manufacturing Engineering Equipment Supervisor to join our team at Thermo Fisher Scientific. As a key member of our Operations department, you will be responsible for leading a team of engineers and technical specialists in creating, maintaining, and managing our equipment fleet.Key...
-
Manufacturing Engineering Software Supervisor
2 dagen geleden
Eindhoven, Noord-Brabant, Nederland Thermo Fisher Scientific VoltijdJob Title: Manufacturing Engineering Software SupervisorAs a key member of the Operations Engineering department, we are seeking a highly skilled Manufacturing Engineering Software Supervisor to lead a team of engineers and technical specialists. The successful candidate will be responsible for coaching and developing team members, ensuring personal and...
-
Warehouse Outbound Team Lead
6 dagen geleden
Eindhoven, Noord-Brabant, Nederland Page Personnel VoltijdJob DescriptionYou will lead the Outbound B2C department, ensuring the achievement of department objectives and efficiency by measuring processes and setting standards. You will coordinate daily planning with other supervisors, maintain contact with other departments, and report to the Logistics Manager.Key Responsibilities:Manage the Outbound B2C department...
-
Manufacturing Engineering Equipment Supervisor
3 dagen geleden
Eindhoven, Noord-Brabant, Nederland Thermo Fisher Scientific VoltijdJob DescriptionAs a Supervisor Manufacturing Engineering Equipment within Operations at Thermo Fisher Scientific, you will lead a team of engineers and technical specialists to create, maintain, and manage our equipment fleet. Your key responsibilities will include coordinating external suppliers, ensuring timely delivery of equipment, and coaching your team...
-
Manufacturing Engineering System Integration Supervisor
19 uur geleden
Eindhoven, Noord-Brabant, Nederland Thermo Fisher Scientific VoltijdJob DescriptionAs a Supervisor of Manufacturing Engineering System Integration within Operations at Thermo Fisher Scientific, you will lead a team of engineers and technical specialists to ensure the successful integration of manufacturing engineering systems. Your primary responsibility will be to coach and develop your team members, ensuring their personal...
-
Manufacturing Engineering Equipment Supervisor
1 week geleden
Eindhoven, Noord-Brabant, Nederland Thermo Fisher Scientific VoltijdJob SummaryWe are seeking a highly skilled and experienced Manufacturing Engineering Equipment Supervisor to join our team at Thermo Fisher Scientific. As a key member of our Operations Engineering department, you will be responsible for leading a team of engineers and technical specialists in creating, maintaining, and managing our equipment fleet.Key...
-
Operational Process Engineer
2 weken geleden
Eindhoven, Noord-Brabant, Nederland Yacht VoltijdJob Summary:The Functional Testing Team at Yacht is responsible for ensuring that our engines and subsystems meet established standards while operating in their intended environment. As a Line Lead Engineer, you will oversee the activities of at least 5 on-site functional test engineers, working on current and future development projects across multiple...