Formalization of fractional order PD control systems in HOL4 (Q1680557): Difference between revisions

@@ 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.tcs.2017.08.011
+Normal rank
@@ Property / OpenAlex ID @@
+W2752474264
@@ Property / OpenAlex ID: W2752474264 / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed coordination of fractional order multi-agent systems with communication delays
+Normal rank
@@ Property / cites work @@
+Fractional-order systems and PI/sup /spl lambda//D/sup /spl mu//-controllers
+Normal rank
@@ Property / cites work @@
+Fractional differential equations. An introduction to fractional derivatives, fractional differential equations, to methods of their solution and some of their applications
+Normal rank
@@ Property / cites work @@
+On the formalization of gamma function in HOL
@@ Property / cites work: On the formalization of gamma function in HOL / rank @@
+Normal rank
@@ Property / cites work @@
+Time response analysis of fractional-order control systems: A survey on recent results
+Normal rank
@@ Property / cites work @@
+Using fractional order adjustment rules and fractional order reference models in model-reference adaptive control
+Normal rank
@@ Property / cites work @@
+Lyapunov-based fractional-order controller design to synchronize a class of fractional-order chaotic systems
+Normal rank