Discrete-time hybrid modeling and verification of the batch evaporator process benchmark (Q2512159): Difference between revisions

@@ Property / describes a project that uses @@
+Uppaal
@@ Property / describes a project that uses: Uppaal / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2045551235
@@ Property / OpenAlex ID: W2045551235 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability analysis of dynamical systems having piecewise-constant derivatives
+Normal rank
@@ Property / cites work @@
+Q4953376
@@ Property / cites work: Q4953376 / rank @@
+Normal rank
@@ Property / cites work @@
+Observability and controllability of piecewise affine and hybrid systems
+Normal rank
@@ Property / cites work @@
+Control of systems integrating logic, dynamics, and constraints
+Normal rank
@@ Property / cites work @@
+Corrigendum to: ``The explicit linear quadratic regulator for constrained systems''
+Normal rank
@@ Property / cites work @@
+Q4953380
@@ Property / cites work: Q4953380 / rank @@
+Normal rank
@@ Property / cites work @@
+Discrete-time hybrid modeling and verification of the batch evaporator process benchmark
+Normal rank
@@ Property / cites work @@
+Complexity of stability and controllability of elementary hybrid systems
+Normal rank
@@ Property / cites work @@
+Multiple Lyapunov functions and other analysis tools for switched and hybrid systems
+Normal rank
@@ Property / cites work @@
+A unified framework for hybrid control: model and optimal control theory
+Normal rank
@@ Property / cites work @@
+Modeling and integer programming techniques applied to propositional calculus
+Normal rank
@@ Property / cites work @@
+Q4249565
@@ Property / cites work: Q4249565 / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalence of hybrid dynamical models
@@ Property / cites work: Equivalence of hybrid dynamical models / rank @@
+Normal rank
@@ Property / cites work @@
+HyTech: A model checker for hybrid systems
@@ Property / cites work: HyTech: A model checker for hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Computation of piecewise quadratic Lyapunov functions for hybrid systems
+Normal rank
@@ Property / cites work @@
+On the regularization of Zeno hybrid automata
@@ Property / cites work: On the regularization of Zeno hybrid automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q3962469
@@ Property / cites work: Q3962469 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249569
@@ Property / cites work: Q4249569 / rank @@
+Normal rank
@@ Property / cites work @@
+Basic problems in stability and design of switched systems
+Normal rank
@@ Property / cites work @@
+Controllers for reachability specifications for hybrid systems
+Normal rank
@@ Property / cites work @@
+Q4249574
@@ Property / cites work: Q4249574 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonlinear regulation: The piecewise linear approach
+Normal rank
@@ Property / cites work @@
+Propositional logic in control and monitoring problems
+Normal rank
@@ Property / cites work @@
+Q4953413
@@ Property / cites work: Q4953413 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3137910
@@ Property / cites work: Q3137910 / rank @@
+Normal rank