Formal Modelling, Analysis and Verification of Hybrid Systems (Q2948232): Difference between revisions

@@ Property / author @@
-Shu-Ling Wang
@@ Property / author: Shu-Ling Wang / rank @@
-Normal rank
@@ Property / author @@
-Heng-Jun Zhao
@@ Property / author: Heng-Jun Zhao / rank @@
-Normal rank
@@ Property / author @@
+Shu-Ling Wang
@@ Property / author: Shu-Ling Wang / rank @@
+Normal rank
@@ Property / author @@
+Heng-Jun Zhao
@@ Property / author: Heng-Jun Zhao / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maple
@@ Property / describes a project that uses: Maple / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CESAR
@@ Property / describes a project that uses: CESAR / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+z3
@@ Property / describes a project that uses: z3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HSolver
@@ Property / describes a project that uses: HSolver / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DISCOVERER
@@ Property / describes a project that uses: DISCOVERER / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QEPCAD
@@ Property / describes a project that uses: QEPCAD / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+REDLOG
@@ Property / describes a project that uses: REDLOG / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+RSOLVER
@@ Property / describes a project that uses: RSOLVER / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Ptolemy
@@ Property / describes a project that uses: Ptolemy / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MathSAT
@@ Property / describes a project that uses: MathSAT / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-39721-9_5
+Normal rank
@@ Property / OpenAlex ID @@
+W35751504
@@ Property / OpenAlex ID: W35751504 / rank @@
+Normal rank
@@ Property / cites work @@
+The algorithmic analysis of hybrid systems
@@ Property / cites work: The algorithmic analysis of hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Counterexample-guided predicate abstraction of hybrid systems
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953376
@@ Property / cites work: Q4953376 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2849590
@@ Property / cites work: Q2849590 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2722048
@@ Property / cites work: Q2722048 / rank @@
+Normal rank
@@ Property / cites work @@
+Multiple Lyapunov functions and other analysis tools for switched and hybrid systems
+Normal rank
@@ Property / cites work @@
+QEPCAD B
@@ Property / cites work: QEPCAD B / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study
+Normal rank
@@ Property / cites work @@
+Generating Polynomial Invariants with DISCOVERER and QEPCAD
+Normal rank
@@ Property / cites work @@
+Q4249565
@@ Property / cites work: Q4249565 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417923
@@ Property / cites work: Q4417923 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3336675
@@ Property / cites work: Q3336675 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Technology for Verification and Analysis
+Normal rank
@@ Property / cites work @@
+Q5584402
@@ Property / cites work: Q5584402 / rank @@
+Normal rank
@@ Property / cites work @@
+Measurability and safety verification for stochastic hybrid systems
+Normal rank
@@ Property / cites work @@
+Engineering constraint solvers for automatic analysis of probabilistic hybrid automata
+Normal rank
@@ Property / cites work @@
+Controller synthesis for safety and reachability via approximate bisimulation
+Normal rank
@@ Property / cites work @@
+Q4503930
@@ Property / cites work: Q4503930 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4234084
@@ Property / cites work: Q4234084 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4553265
@@ Property / cites work: Q4553265 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3150781
@@ Property / cites work: Q3150781 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic reachability computation for families of linear vector fields
+Normal rank
@@ Property / cites work @@
+Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems
+Normal rank
@@ Property / cites work @@
+Differential-algebraic Dynamic Logic for Differential-algebraic Programs
+Normal rank
@@ Property / cites work @@
+Computing Differential Invariants of Hybrid Systems as Fixedpoints
+Normal rank
@@ Property / cites work @@
+A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Q3940830
@@ Property / cites work: Q3940830 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic invariant generation for hybrid systems using ideal fixed points
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Non-linear loop invariant generation using Gröbner bases
+Normal rank
@@ Property / cites work @@
+Stability Criteria for Switched and Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Synthesizing Switching Logic Using Constraint Solving
+Normal rank
@@ Property / cites work @@
+Deductive Verification of Continuous Dynamical Systems
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5719565
@@ Property / cites work: Q5719565 / rank @@
+Normal rank
@@ Property / cites work @@
+An Assume/Guarantee Based Compositional Calculus for Hybrid CSP
+Normal rank
@@ Property / cites work @@
+Theorem Proving in Higher Order Logics
@@ Property / cites work: Theorem Proving in Higher Order Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Recent advances on determining the number of real roots of parametric polynomials
+Normal rank
@@ Property / cites work @@
+Recent advances in program verification through computer algebra
+Normal rank
@@ Property / cites work @@
+A “Hybrid” Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example
+Normal rank
@@ Property / cites work @@
+Duration calculus. A formal approach to real-time systems.
+Normal rank
@@ Property / cites work @@
+A calculus of durations
@@ Property / cites work: A calculus of durations / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2948232