Home › Categories › Business & Finance› CoasterX: A Case Study In Component-driven Hybrid Systems Proof Automation

CoasterX: A Case Study In Component-driven Hybrid Systems Proof Automation.pdf

coasterx.pdf
Preview of CoasterX: A case study in component-driven hybrid systems proof automation
🔗 Source: lfcps.org
📊 Size: 274 KB
📄 Pages: 6 pages
⬇️ Downloads: 114

Summary

Researchers from Carnegie Mellon University developed CoasterX, a toolchain for designing and verifying the safety of 2-dimensional roller coaster track designs using component-driven proof automation (CDPA). CoasterX allows users to design tracks graphically and automatically verifies velocity and acceleration bounds using differential dynamic logic (dL) and the KeYmaera X theorem prover. The approach scales to models with dozens of sections and has been tested on real coasters with up to 56 components, demonstrating a performance gain of 1.6x to 20x. CoasterX can detect excessive acceleration and distinguish safe vs. unsafe acceleration in practice, as shown in a case study of Kennywood's "Steel Phantom" and "Phantom's Revenge" coasters.

Download File

Description

Researchers from Carnegie Mellon University developed CoasterX, a toolchain for designing and verifying the safety of 2-dimensional roller coaster track...

Technical Information

  • File Format: PDF
  • File Size: 274 KB
  • Pages: 6
  • Language: EN
  • Total Downloads: 114
  • Last Updated: 2 days ago

Document Overview

This PDF document about CoasterX: A case study in component-driven hybrid systems proof automation provides comprehensive information and guidance. Whether you're a beginner or advanced user, this resource offers valuable insights into CoasterX: A case study in component-driven hybrid systems proof automation.

Related Topics

If you're interested in CoasterX: A case study in component-driven hybrid systems proof automation, you might also want to explore:

CoasterX: guideCoasterX: tutorialcase guidecase tutorialstudy guidestudy tutorialcomponent-driven guidecomponent-driven tutorialhybrid guidehybrid tutorialsystems guidesystems tutorialproof guideproof tutorialautomation guideautomation tutorial

Related Categories

Education & Learning
22711 documents
Health & Wellness
8956 documents
Technology
4783 documents

Related Documents

Preview of Casa Mas Case Study
PDF file

Casa Mas Case Study

156 KBEN4 pages
Casa Mas Alimentación, a Spanish food company, partnered with Macsa to increase production and reduce costs.
Download
Preview of messtec drives Automation
PDF file

messtec drives Automation

1.33 MBDE19 pages
Die messtec drives Automation (mdA) ist eine Fachzeitschrift für Fabrik- und Prozessautomation, die seit über 30 Jahren erscheint.
Download
Preview of proof-of-concept study
PDF file

proof-of-concept study

1.97 MBEN14 pages
Researchers propose Quantum-Inspired Tensor Neural Networks (TNN) to solve Partial Differential Equations (PDE), overcoming limitations of...
Download
Preview of case study
PDF file

case study

1.67 MBLaura MaganEN5 pages
Lowlands Festival in the Netherlands has made significant efforts to become more sustainable since 2006, focusing on waste management, mobility,...
Download
Preview of case study.
PDF file

case study.

352 KBEN2 pages
Petit Forestier, the European leader in refrigerated vehicle and container rental, deployed Rubrik for cost efficiencies and easy Google Cloud...
Download

Download CoasterX: A case study in component-driven hybrid systems proof automation eBooks for free and learn more about CoasterX: A case study in component-driven hybrid systems proof automation. These books contain exercises and tutorials to improve your practical skills, at all levels!

Not satisfied with this document? We have related documents to CoasterX: A case study in component-driven hybrid systems proof automation, try searching with similar keywords: CoasterX: A case study in component-driven hybrid systems proof automation, Coasterx, Aair Brake Component Identiir Brake Component Identifi, Reserve Component To Active Component, Technical Component And Professional Component Of , Data Driven Vs Keyword Driven, Driven Economy To A Service Driven One Make, Driven To Distraction Driven To Distraction

You can download PDF versions of the user's guide, manuals and ebooks about CoasterX: A case study in component-driven hybrid systems proof automation, you can also find and download for free A free online manual (notices) with beginner and intermediate, Downloads Documentation, You can download PDF files (or DOC and PPT) about CoasterX: A case study in component-driven hybrid systems proof automation for free, but please respect copyrighted ebooks.