Internship | Improving the readability of synthesized supervisor guards
4 maanden geleden
What will be your role?
Introduction
Cyber-physical systems consist of mechatronic components that are controlled by software. This control software typically includes a supervisory controller that orchestrates the interaction between the various system components. For industrial-scale systems the supervisory controller may be highly complex and non-trivial to develop correctly.
To help manage the complexity of guaranteeing safe control, synthesis-based engineering (SBE) provides assistance by combining model-based engineering with computer-aided design. SBE builds on the synthesis procedure: (symbolically) computing a correct-by-construction controller from models of the to-be-controlled system and associated requirements. For an example of SBE see: .
What will you be doing?
Readability of synthesized supervisors is important for engineers to be able to comprehend and easily work with them. However, synthesized supervisors are currently not always easy to read. This research project aims to improve their readability and conciseness. Having readable guards would help explainability, such that an engineer can comprehend and trust the results generated by the synthesis procedure. And it helps faster evaluation of the guards, which makes a translation to PLC code easier.
Eclipse ESCET provides a model-based approach and toolkit for developing supervisory controllers. The symbolic synthesis algorithms of Eclipse ESCET compute supervisors that assign to each controllable event an extra guard. These extra guards ensure that the corresponding events can only occur whenever this does not lead to any requirement violations. To make these guards readable, they are converted from an internal symbolic representation (Binary Decision Diagrams, or BDDs) to a more readable representation in the CIF modeling language. Currently, either a Conjunctive Normal Form (CNF) or Disjunctive Normal Form (DNF) is used. Although simple, this conversion may lead to lengthy guards that are not always very readable.
In this project, you will explore alternative strategies for computing and/or converting extra guards for controllable events, to improve their conciseness and readability. One idea could be to use alternative binary representations, such as MDDs (multi-valued decision diagram), to resolve any binary encoding details that may arise with BDDs. Another idea could be to reuse results from related fields, like multi-level logic circuit optimization. You will investigate existing literature, shape your own ideas based on the literature, implement the ideas, and validate the approach. If successful, the results could be incorporated into the Eclipse ESCET open source project.
What we expect from you
You are an MSc student in Computer Science or Mathematics looking for a graduation assignment of 6-9 months. You have an affinity with formal methods as well as programming (in Java) and know the basics of event-based systems. You speak and write English on a sufficient level, are a team player but also capable of independent work, have an open and enthusiastic mindset, and strive for high-quality research and with real industrial impact.
What you'll get in return
You want to work on the precursor of your career; a work placement gives you an opportunity to take a good look at your prospective future employer. TNO goes a step further. It’s not just looking that interests us; you and your knowledge are essential to our innovation. That’s why we attach a great deal of value to your personal and professional development. You will, of course, be properly supervised during your work placement and be given the scope for you to get the best out of yourself. Naturally, we provide suitable work placement compensation.
-
Improve Synthesized Supervisor Readability
3 weken geleden
Eindhoven, Noord-Brabant, Nederland TNO VoltijdAbout the ProjectTNO 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.BackgroundCyber-physical systems...
-
Improving the Readability of Synthesized Supervisors
3 dagen geleden
Eindhoven, Noord-Brabant, Nederland TNO VoltijdJob Description:We are seeking a highly motivated MSc student in Computer Science or Mathematics to work on a research project focused on improving the readability and conciseness of synthesized supervisors. The project aims to explore alternative strategies for computing and converting extra guards for controllable events, with the goal of enhancing the...
-
Research Assistant: Improving Synthesized Supervisor Guards
1 week 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
2 weken 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
1 week 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 Internship: Improving Synthesized Supervisor Guards
5 dagen geleden
Eindhoven, Noord-Brabant, Nederland TNO VoltijdAbout the ProjectCyber-physical systems consist of mechatronic components controlled by software, including supervisory controllers that orchestrate system interactions. To manage complexity, synthesis-based engineering combines model-based engineering with computer-aided design, computing correct-by-construction controllers from system models and...
-
Improve Synthesis-Based Engineering for Cyber-Physical Systems
2 weken 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 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
2 weken 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...
-
Research Internship: Improving Synthesized Supervisor Guards
5 dagen geleden
Eindhoven, Noord-Brabant, Nederland TNO VoltijdAbout the ProjectCyber-physical systems consist of mechatronic components controlled by software, often including a supervisory controller that orchestrates system interactions. For industrial-scale systems, this controller can be highly complex and difficult to develop correctly.To address this complexity, synthesis-based engineering (SBE) combines...
-
Internship | Electrofuels
4 maanden geleden
Eindhoven, Nederland TNO VoltijdAbout this position Rising CO2 levels and its negative impact on the global climate is a major problem facing humanity today.[1] Apart from the large scale efforts being taken to curb on the Carbon Dioxide emissions, another alternative is to sequester it at large scale industrial emitter and further electrochemically convert the CO2 to organic...
-
Internship: Sustainability
1 week geleden
Eindhoven, Nederland Philips International VoltijdJob TitleInternship: SustainabilityJob DescriptionType: Internship (possible with Bachelor's thesis)Length: 6 monthsTime: 32-40 hours/weekExpected Start Date: as soon as possibleLocation: EindhovenThe availability to work at least two days in the Eindhoven office, with the possibility of working one day in Amsterdam.Over the past years Philips has designed...
-
Internship: Sustainability
3 weken geleden
Eindhoven, Nederland Philips VoltijdJOB DESCRIPTION Job Title Internship: Sustainability Job Description Type: Internship (possible with Bachelor's thesis) Length: 6 months Time: 32-40 hours/week Expected Start Date: as soon as possible Location: Eindhoven The availability to work at least two days in the Eindhoven office, with the possibility of working one day in...
-
Internship: Sustainability
2 weken geleden
Eindhoven, Nederland Philips VoltijdJob TitleInternship: SustainabilityJob DescriptionType:Â Internship (possible with Bachelor's thesis)Length: 6 monthsTime: 32-40 hours/weekExpected Start Date:Â as soon as possibleLocation: EindhovenThe availability to work at least two days in the Eindhoven office, with the possibility of working one day in Amsterdam.Over the past years Philips has...
-
Eindhoven, Noord-Brabant, Nederland DAF VoltijdAbout the RoleWe are seeking a highly motivated and creative Online Marketing co-working intern to join our team at DAF Used Trucks. As an intern, you will have the opportunity to collaborate with our Used Trucks department on various online marketing initiatives.Key ResponsibilitiesDevelop and implement direct mailing campaigns to engage with customers and...
-
Internship: Delivery Processes Mining
1 week geleden
Eindhoven, Nederland Philips Voltijd**Job Title**: Internship: Delivery Processes Mining **Job title: Internship: Delivery Processes Mining** **Location**:Eindhoven **Start date**:November, 2024 **Duration**:6 months minimum **Contract**:min 32 h/week, preferably 40h/week **Hybrid**: 2-3x in office Philips has a number one market share position in Hospital Patient Monitoring (HPM). As...
-
Sustainability Internship Opportunity
1 week geleden
Eindhoven, Noord-Brabant, Nederland Philips VoltijdJoin Our Team as a Sustainability InternWe are seeking a highly motivated and detail-oriented student to join our team as a Sustainability Intern. As a key member of our team, you will play a crucial role in supporting our ESG (Environmental, Social, and Governance) initiatives and contributing to our mission of improving the quality of life through...
-
Bachelor Internship: Investigate The Interest and
4 maanden geleden
Eindhoven, Nederland DAF VoltijdInvestigate the interest and sales opportunity for a weekend delivery in Germany and other countries You are going to: - Check with the dealers; - Identify the cariers; - Calculate the sales opportunities; - Copy this logis to other countries. - A view behind the scenes at a large international corporation;You will get a lot of freedom and responsibility; -...
-
Internship | Battery Program
3 weken geleden
Eindhoven, Nederland TNO VoltijdAbout this position In an effort to realize ‘carbon neutrality’, advanced battery technologies are being developed and explored across Europe. TNO at Holst Centre in Eindhoven works with a range of thin-film technologies that have very interesting potential in the fast-growing domain of Energy Storage. Devices that are being developed include...
-
Internship: Sustainability
4 weken geleden
Eindhoven, Nederland Philips Voltijd**Job Title**: Internship: Sustainability **Type**: Internship (possible with **Bachelor's** thesis) **Length**:6 months **Time**:32-40 hours/week **Expected Start Date**: as soon as possible **Location**: Eindhoven The availability to work at least two days in the Eindhoven office, with the possibility of working one day in Amsterdam. Master graduate...
-
Eindhoven, Nederland TNO VoltijdAbout this position Imagine trying to understand what goes on inside a high-tech machine. Often operating at the edge of technology, every subsystem is constantly subject to multiple physical effects, interacting and compounding, all the while the machine is operating under wanted and unwanted dynamics in a data-scare environment. The high-tech...
