Reachability analysis of linear systems with stepwise constant inputs (Q271719): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2013.12.005
@@ Property / DOI: 10.1016/j.entcs.2013.12.005 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C05
@@ Property / Mathematics Subject Classification ID: 93C05 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C30
@@ Property / Mathematics Subject Classification ID: 93C30 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6570846
@@ Property / zbMATH DE Number: 6570846 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+linear systems
@@ Property / zbMATH Keywords: linear systems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+reachability analysis
@@ Property / zbMATH Keywords: reachability analysis / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+safety verification
@@ Property / zbMATH Keywords: safety verification / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+uncertain input
@@ Property / zbMATH Keywords: uncertain input / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+zonotopes
@@ Property / zbMATH Keywords: zonotopes / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113317931
@@ Property / Wikidata QID: Q113317931 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PHAVer
@@ Property / describes a project that uses: PHAVer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HyTech
@@ Property / describes a project that uses: HyTech / 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.entcs.2013.12.005
+Normal rank
@@ Property / OpenAlex ID @@
+W2048187985
@@ Property / OpenAlex ID: W2048187985 / 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 @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability analysis of linear systems using support functions
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+What's decidable about hybrid automata?
@@ Property / cites work: What's decidable about hybrid automata? / rank @@
+Normal rank
@@ Property / cites work @@
+Ellipsoidal techniques for reachability analysis: Internal approximation
+Normal rank
@@ Property / cites work @@
+Q4249569
@@ Property / cites work: Q4249569 / rank @@
+Normal rank
@@ Property / cites work @@
+Nineteen Dubious Ways to Compute the Exponential of a Matrix
+Normal rank
@@ Property / cites work @@
+Q3997917
@@ Property / cites work: Q3997917 / rank @@
+Normal rank
@@ Property / cites work @@
+Constraints for Continuous Reachability in the Verification of Hybrid Systems
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2013.12.005
@@ Property / DOI: 10.1016/J.ENTCS.2013.12.005 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:271719