Thanh Ha Tran, Tuan Anh Nguyen, Lan Anh Dinh Thi & Thu Ha Nguyen. 2022. Advances in Engineering Research and Application. Advances in Engineering Research and Application
843
854
.
Stefano Schivo & Rom Langerak. 2017. ModelEd, TestEd, TrustEd. ModelEd, TestEd, TrustEd
297
315
.
Alexander Andreychenko, Thilo Krüger & David Spieler. 2014. Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems. Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems
1
25
.
Carna Radojicic, Christoph Grimm, Florian Schupfer & Michael Rathmair. (2013) Verification of Mixed-Signal Systems with Affine Arithmetic Assertions. VLSI Design 2013, pages 1-14.
Crossref
Olaf Stursberg. (2012) Hierarchical and distributed discrete event control of manufacturing processes. Hierarchical and distributed discrete event control of manufacturing processes.
Rebekah Carter & Eva M. Navarro-López. 2012. Formal Modeling and Analysis of Timed Systems. Formal Modeling and Analysis of Timed Systems
59
74
.
Gunther Reissig. (2011) Computing Abstractions of Nonlinear Systems. IEEE Transactions on Automatic Control 56:11, pages 2583-2598.
Crossref
Thanh-Ha Tran & Sebastian Engell. (2011) Estimator-Based Switching Controllers for a Class of Hybrid Systems. IFAC Proceedings Volumes 44:1, pages 6628-6633.
Crossref
Zhang Si-bing, Chen Jie & Wang Ya. (2010) A formal verification method of hybrid system and simulation. A formal verification method of hybrid system and simulation.
Ezio Bartocci, Flavio Corradini, Emanuela Merelli & Luca Tesei. (2010) Detecting synchronisation of biological oscillators by model checking. Theoretical Computer Science 411:20, pages 1999-2018.
Crossref
Sergiy Bogomolov, Corina Mitrohin & Andreas Podelski. 2010. Automated Technology for Verification and Analysis. Automated Technology for Verification and Analysis
67
81
.
Christian Sonntag, Sven Lohmann, Anna Völker & Sebastian Engell. (2008) Analyzing safety properties of hybrid processing systems: A case study on an industrial evaporator. Journal of Process Control 18:9, pages 885-895.
Crossref
Oded Maler & Grégory Batt. 2008. Formal Methods in Systems Biology. Formal Methods in Systems Biology
77
89
.
Stefan Ratschan & Zhikun She. (2007) Safety verification of hybrid systems by constraint propagation-based abstraction refinement. ACM Transactions on Embedded Computing Systems 6:1, pages 8.
Crossref
WERNER DAMM, GUILHERME PINTO & STEFAN RATSCHAN. (2011) GUARANTEED TERMINATION IN THE VERIFICATION OF LTL PROPERTIES OF NON-LINEAR ROBUST DISCRETE TIME HYBRID SYSTEMS. International Journal of Foundations of Computer Science 18:01, pages 63-86.
Crossref
Grégory Batt, Ramzi Ben Salah & Oded Maler. 2007. Formal Modeling and Analysis of Timed Systems. Formal Modeling and Analysis of Timed Systems
38
52
.
Stefan Ratschan & Zhikun She. 2006. Artificial Intelligence and Symbolic Computation. Artificial Intelligence and Symbolic Computation
196
210
.
Stefan Ratschan & Zhikun She. 2005. Hybrid Systems: Computation and Control. Hybrid Systems: Computation and Control
573
589
.
Werner Damm, Guilherme Pinto & Stefan Ratschan. 2005. Automated Technology for Verification and Analysis. Automated Technology for Verification and Analysis
99
113
.
Stéphane Blouin, Martin Guay & Karen Rudie. (2003) Discrete Abstractions for Two-Dimensional Nearly Integrable Continuous Systems. IFAC Proceedings Volumes 36:6, pages 343-348.
Crossref
A. Chutinan & B.H. Krogh. (2003) Computational techniques for hybrid system verification. IEEE Transactions on Automatic Control 48:1, pages 64-75.
Crossref
Eugene Asarin, Thao Dang & Antoine Girard. 2003. Hybrid Systems: Computation and Control. Hybrid Systems: Computation and Control
20
35
.
S. Engell, S. Kowalewski, C. Schulz & O. Stursberg. (2000) Continuous-discrete interactions in chemical processing plants. Proceedings of the IEEE 88:7, pages 1050-1068.
Crossref