Parameter Synthesis for Hybrid Systems with an Application to Simulink Models-Reference-Cited by-同舟云学术

Parameter Synthesis for Hybrid Systems with an Application to Simulink Models

Published:2009 Issue: Volume: Page:165-179
ISSN:0302-9743
Container-title:Hybrid Systems: Computation and Control
language:
Short-container-title:

Author:

Donzé Alexandre,Krogh Bruce,Rajhans Akshay

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-00602-9_12

Reference14 articles.

1. Asarin, E., Dang, T., Frehse, G., Girard, A., Le Guernic, C., Maler, O.: Recent progress in continuous and hybrid reachability analysis. In: Proc. IEEE International Symposium on Computer-Aided Control Systems Design. IEEE Computer Society Press, Los Alamitos (2006)

2. Lecture Notes in Computer Science;A. Donzé,2007

3. Donzé, A.: Trajectory-Based Verification and Controller Synthesis for Continuous and Hybrid Systems. PhD thesis, University Joseph Fourier (June 2007)

4. Lecture Notes in Computer Science;J.M. Esposito,2001

5. Lecture Notes in Computer Science;G. Frehse,2008

Cited by 32 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. MoonLight: a lightweight tool for monitoring spatio-temporal properties;International Journal on Software Tools for Technology Transfer;2023-06-22

2. On deformation and fracture of PBX simulant employing modified three-body potential peridynamics model with deformation-based failure criteria;Applied Mathematical Modelling;2023-03

3. Use of bulk embedding cohesive elements to realize bifurcating propagation of rock crack;Geomechanics and Geophysics for Geo-Energy and Geo-Resources;2021-01-02

4. Specification-Guided Automated Debugging of CPS Models;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2020-11

5. Monitoring Spatio-Temporal Properties (Invited Tutorial);Runtime Verification;2020