WP 3 Case Studies. Ed Brinksma. Task 3.1 Cybernétix Case Study. Work has concentrated on the version including faulty cards: verification of proposed solution (LIF and CYR) solution by control synthesis (LIF and CYR) playing-in/playing-out scenarios (WIS)
Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.
Work has concentrated on the version including faulty cards:
Refinement of existing work:
New case study (airbag safety) presented by Bosch in June:
investment (+/- 1 PM) for suggesting a
for safety-critical applications, and test
Main focus of case study efforts:
Quantitative assessment on Axxom case study versions and job-shop scheduling problems, possibly including the Cybernétix case study.