| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 720510 | IFAC Proceedings Volumes | 2007 | 6 Pages |
Abstract
While current approaches for the safety verification of hybrid systems yield rigorous proofs for system safety, their applicability is restricted to relatively small systems. In this paper, the safety properties of a large-scale industrial processing system with hybrid dynamics are investigated using two optimization-based approaches. While the first approach regards the hybrid system as a black box (i.e. only considers the inputoutput behavior) and attempts to determine worst-case scenarios by embedded hybrid simulation, the second approach additionally takes the internal structure of the system into account and employs theorem proving techniques to rigorously show certain properties of the system.
Related Topics
Physical Sciences and Engineering
Engineering
Computational Mechanics
