CGMurphi: automatic synthesis of numerical controllers for nonlinear hybrid systems (Q397407): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+B50
@@ Property / Mathematics Subject Classification ID: 93B50 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C30
@@ Property / Mathematics Subject Classification ID: 93C30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C10
@@ Property / Mathematics Subject Classification ID: 93C10 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6328868
@@ Property / zbMATH DE Number: 6328868 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+automatic controller synthesis
@@ Property / zbMATH Keywords: automatic controller synthesis / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+nonlinear hybrid systems
@@ Property / zbMATH Keywords: nonlinear hybrid systems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+model checking based tool
@@ Property / zbMATH Keywords: model checking based tool / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CGMurphi
@@ Property / describes a project that uses: CGMurphi / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+UPPAAL TIGA
@@ Property / describes a project that uses: UPPAAL TIGA / 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.1016/j.ejcon.2013.02.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2026786457
@@ Property / OpenAlex ID: W2026786457 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003604
@@ Property / cites work: Q4003604 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3376698
@@ Property / cites work: Q3376698 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic programming for constrained optimal control of discrete-time linear hybrid systems
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Q5848416
@@ Property / cites work: Q5848416 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Generation of Optimal Controllers through Model Checking Techniques
+Normal rank
@@ Property / cites work @@
+Q2852029
@@ Property / cites work: Q2852029 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5440982
@@ Property / cites work: Q5440982 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4503930
@@ Property / cites work: Q4503930 / rank @@
+Normal rank
@@ Property / cites work @@
+An Unravelling Algorithm for Global Analysis of Dynamical Systems: An Application of Cell-to-Cell Mappings
+Normal rank
@@ Property / cites work @@
+A discrete method of optimal control based upon the cell state space concept
+Normal rank
@@ Property / cites work @@
+Cell-to-cell mapping. A method of global analysis for nonlinear systems
+Normal rank
@@ Property / cites work @@
+A set oriented approach to global optimal control
@@ Property / cites work: A set oriented approach to global optimal control / rank @@
+Normal rank
@@ Property / cites work @@
+Numerical nonlinear regulator design
@@ Property / cites work: Numerical nonlinear regulator design / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of Hybrid Systems Control
@@ Property / cites work: Handbook of Hybrid Systems Control / rank @@
+Normal rank
@@ Property / cites work @@
+On Synthesizing Controllers from Bounded-Response Properties
+Normal rank
@@ Property / cites work @@
+Evaluating controller robustness using cell mapping
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Nonlinear regulation: The piecewise linear approach
+Normal rank
@@ Property / cites work @@
+Remarks on piecewise-linear algebra
@@ Property / cites work: Remarks on piecewise-linear algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Verification and Control of Hybrid Systems
@@ Property / cites work: Verification and Control of Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249576
@@ Property / cites work: Q4249576 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4493880
@@ Property / cites work: Q4493880 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:397407