Гібридна система є динамічна система стан якої, неформально кажучи, може змінюватись неперервно (наприклад, рух системи може задовольняти розв'язок диференціального рівняння), або дискретно (тобто система може переходити від стану до стану моментально, як скінченний автомат). Таким чином гібридні системи узагальнюють неперервні диференціальні рівняння, диференціальні рівняння з розривними правими частинами (т. зв. системи Філіппова), скінченні автомати, та системи реального часу. Абстрактно гібридні системи можна розглядати як математичні моделі систем керування які знаходять широке застосування в сучасній теорії та практиці автоматичного керування складними процесами.
Формалізми
Приклади
Програми
- SpaceEx [ 28 квітня 2021 у Wayback Machine.]
- KeYmaera [ 26 червня 2021 у Wayback Machine.]
- KeYmaera X [ 23 березня 2016 у Wayback Machine.]
- dReach [ 28 квітня 2016 у Wayback Machine.]
- HyTech [ 10 червня 2017 у Wayback Machine.]
- HSolver [ 18 лютого 2021 у Wayback Machine.]
- PHAVer [ 26 червня 2021 у Wayback Machine.]
- HyEQ [ 30 червня 2021 у Wayback Machine.]
- HyCreate [ 21 березня 2021 у Wayback Machine.]
Література
Підручники
Загальна теорія диференціальних рівнянь
- (укр. ) Самойленко, А. М., Кривошея С. А., Перестюк Н. А. Диференціальні рівняння у прикладах і задачах, Вища школа, Київ, 1994.
(також рос. ) Самойленко, А. М., Кривошея С. А., Перестюк Н. А. Дифференциальные уравнения: примеры и задачи, Вища школа, Київ, 1984. ()
Диференціальні рівняння з розривними правими частинами
- (англ. ) di Bernardo, Mario, and Budd, Christopher J., and Champneys, Alan R., and Kowalczyk Piotr. Piecewise-smooth dynamical systems: theory and applications. Vol. 163. Springer Science & Business Media, 2008.
- (англ. ) Filippov, A. F. Differential equations with discontinuous righthand sides. Kluwer Academic Publishers, Netherlands, 1988.
(також рос. ) Филиппов, А. Ф. Дифференциальные уравнения с разрывной правой частью. Матем. сб., том 51(93), номер 1, 99-128, 1960. (URL [ 19 листопада 2015 у Wayback Machine.])
Імпульсивні системи
- (англ. ) Samoilenko, A. M., N. A. Perestyuk, and Y. Chapovsky. Impulsive differential equations. World Scientific, Singapore, 1995.
(також рос. ) Самойленко А. М., Перестюк Н. А. Дифференциальные уравнения с импульсным воздействием. Наукова думка, Київ, 1987. - (англ. ) Haddad, Wassim M., VijaySekhar Chellaboina, and Sergey G. Nersesov. Impulsive and Hybrid Dynamical Systems: Stability, Dissipativity, and Control: Stability, Dissipativity, and Control. Princeton University Press, 2014.
Гібридні системи
- (англ. ) Van Der Schaft, Arjan J., and Johannes Maria Schumacher. An introduction to hybrid dynamical systems. Vol. 251. Springer, 2000. (PDF [ 26 лютого 2015 у Wayback Machine.])
- (англ. ) Tabuada, Paulo. Verification and control of hybrid systems: a symbolic approach. Springer, 2009.
- (англ. ) Lunze, Jan, and Lamnabhi-Lagarrigue, Françoise. Handbook of hybrid systems control: theory, tools, applications. Cambridge University Press, 2009.
- (англ. ) Goebel, Rafal, and Sanfelice, Ricardo G., and Andrew R. Teel. Hybrid Dynamical Systems: modeling, stability, and robustness. Princeton University Press, 2012.
- (англ. ) Platzer, André. Logical analysis of hybrid systems: proving theorems for complex dynamics. Springer, 2010.
- (англ. ) Matveev, Alexey S., and Andrey V. Savkin. Qualitative theory of hybrid dynamical systems. Springer, 2012.
- (англ. ) Haddad, Wassim M., VijaySekhar Chellaboina, and Sergey G. Nersesov. Impulsive and Hybrid Dynamical Systems: Stability, Dissipativity, and Control: Stability, Dissipativity, and Control. Princeton University Press, 2014.
Публікації
Загальна теорія, специфікація та аналіз гібридних систем
- (англ. ) Labinaz, Gino, Mohamed M. Bayoumi, and Karen Rudie. A survey of modeling and control of hybrid systems. Annual Reviews in Control 21 (1997): 79-92. (PDF [ 19 листопада 2015 у Wayback Machine.])
- (англ. ) Antsaklis, Panos J. A brief introduction to the theory and applications of hybrid systems. Proc IEEE, Special Issue on Hybrid Systems: Theory and Applications. 2000. (PDF)
- (англ. ) Alur, Rajeev, et al. The algorithmic analysis of hybrid systems. Theoretical computer science 138.1 (1995): 3-34. (URL [ 13 травня 2021 у Wayback Machine.])
- (англ. ) Henzinger, Thomas A. The theory of hybrid automata. Springer, 2000. (PDF [ 14 травня 2014 у Wayback Machine.])
Проблеми верифікації властивостей гібридних систем
- (англ. ) Alur, Rajeev. Formal verification of hybrid systems. Proceedings of the International Conference on Embedded Software (EMSOFT). IEEE, 2011. (PDF [ 4 березня 2016 у Wayback Machine.])
- (англ. ) Guéguen, Hervé, and Janan Zaytoon. On the formal verification of hybrid systems. Control Engineering Practice 12.10 (2004): 1253–1267.
- (англ. ) Kowalewski, Stefan. Introduction to the analysis and verification of hybrid systems. Modelling, Analysis, and Design of Hybrid Systems. Springer Berlin Heidelberg, 2002. 153–171.
- (англ. ) Henzinger, Thomas A., et al. What's decidable about hybrid automata?. Proceedings of the twenty-seventh annual ACM symposium on Theory of computing. ACM, 1995. (PDF [ 19 листопада 2015 у Wayback Machine.])
- (англ. ) Alur, Rajeev, Thomas A. Henzinger, and Eduardo D. Sontag. Hybrid systems III: verification and control. Vol. 3. Springer, 1996.
Проблеми стійкості руху в гібридних системах
- (англ. ) Branicky, Michael S. Multiple Lyapunov functions and other analysis tools for switched and hybrid systems. IEEE Transactions on Automatic Control 43.4 (1998): 475–482. (PDF [ 12 грудня 2015 у Wayback Machine.])
- (англ. ) Branicky, Michael S. Stability of hybrid systems. Control Systems, Robotics and Automation, from Encyclopedia of Life Support Systems (EOLSS) (2004). (PDF [ 12 грудня 2015 у Wayback Machine.])
- (англ. ) Ye, Hui, Anthony N. Michel, and Ling Hou. Stability theory for hybrid dynamical systems. 1995., Proceedings of the 34th IEEE Conference on Decision and Control. Vol. 3. IEEE, 1995.(PDF [ 4 березня 2016 у Wayback Machine.])
Посилання
Це незавершена стаття з математики. Ви можете проєкту, виправивши або дописавши її. |
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Gibridna sistema ye dinamichna sistema stan yakoyi neformalno kazhuchi mozhe zminyuvatis neperervno napriklad ruh sistemi mozhe zadovolnyati rozv yazok diferencialnogo rivnyannya abo diskretno tobto sistema mozhe perehoditi vid stanu do stanu momentalno yak skinchennij avtomat Takim chinom gibridni sistemi uzagalnyuyut neperervni diferencialni rivnyannya diferencialni rivnyannya z rozrivnimi pravimi chastinami t zv sistemi Filippova skinchenni avtomati ta sistemi realnogo chasu Abstraktno gibridni sistemi mozhna rozglyadati yak matematichni modeli sistem keruvannya yaki znahodyat shiroke zastosuvannya v suchasnij teoriyi ta praktici avtomatichnogo keruvannya skladnimi procesami Shema zagalnogo gibridnogo avtomata z troma diskretnimi stanami q0 q1 q2 FormalizmiPrikladiProgramiSpaceEx 28 kvitnya 2021 u Wayback Machine KeYmaera 26 chervnya 2021 u Wayback Machine KeYmaera X 23 bereznya 2016 u Wayback Machine dReach 28 kvitnya 2016 u Wayback Machine HyTech 10 chervnya 2017 u Wayback Machine HSolver 18 lyutogo 2021 u Wayback Machine PHAVer 26 chervnya 2021 u Wayback Machine HyEQ 30 chervnya 2021 u Wayback Machine HyCreate 21 bereznya 2021 u Wayback Machine LiteraturaPidruchniki Zagalna teoriya diferencialnih rivnyan ukr Samojlenko A M Krivosheya S A Perestyuk N A Diferencialni rivnyannya u prikladah i zadachah Visha shkola Kiyiv 1994 takozh ros Samojlenko A M Krivosheya S A Perestyuk N A Differencialnye uravneniya primery i zadachi Visha shkola Kiyiv 1984 Diferencialni rivnyannya z rozrivnimi pravimi chastinami angl di Bernardo Mario and Budd Christopher J and Champneys Alan R and Kowalczyk Piotr Piecewise smooth dynamical systems theory and applications Vol 163 Springer Science amp Business Media 2008 angl Filippov A F Differential equations with discontinuous righthand sides Kluwer Academic Publishers Netherlands 1988 takozh ros Filippov A F Differencialnye uravneniya s razryvnoj pravoj chastyu Matem sb tom 51 93 nomer 1 99 128 1960 URL 19 listopada 2015 u Wayback Machine Impulsivni sistemi angl Samoilenko A M N A Perestyuk and Y Chapovsky Impulsive differential equations World Scientific Singapore 1995 takozh ros Samojlenko A M Perestyuk N A Differencialnye uravneniya s impulsnym vozdejstviem Naukova dumka Kiyiv 1987 angl Haddad Wassim M VijaySekhar Chellaboina and Sergey G Nersesov Impulsive and Hybrid Dynamical Systems Stability Dissipativity and Control Stability Dissipativity and Control Princeton University Press 2014 Gibridni sistemi angl Van Der Schaft Arjan J and Johannes Maria Schumacher An introduction to hybrid dynamical systems Vol 251 Springer 2000 PDF 26 lyutogo 2015 u Wayback Machine angl Tabuada Paulo Verification and control of hybrid systems a symbolic approach Springer 2009 angl Lunze Jan and Lamnabhi Lagarrigue Francoise Handbook of hybrid systems control theory tools applications Cambridge University Press 2009 angl Goebel Rafal and Sanfelice Ricardo G and Andrew R Teel Hybrid Dynamical Systems modeling stability and robustness Princeton University Press 2012 angl Platzer Andre Logical analysis of hybrid systems proving theorems for complex dynamics Springer 2010 angl Matveev Alexey S and Andrey V Savkin Qualitative theory of hybrid dynamical systems Springer 2012 angl Haddad Wassim M VijaySekhar Chellaboina and Sergey G Nersesov Impulsive and Hybrid Dynamical Systems Stability Dissipativity and Control Stability Dissipativity and Control Princeton University Press 2014 Publikaciyi Zagalna teoriya specifikaciya ta analiz gibridnih sistem angl Labinaz Gino Mohamed M Bayoumi and Karen Rudie A survey of modeling and control of hybrid systems Annual Reviews in Control 21 1997 79 92 PDF 19 listopada 2015 u Wayback Machine angl Antsaklis Panos J A brief introduction to the theory and applications of hybrid systems Proc IEEE Special Issue on Hybrid Systems Theory and Applications 2000 PDF angl Alur Rajeev et al The algorithmic analysis of hybrid systems Theoretical computer science 138 1 1995 3 34 URL 13 travnya 2021 u Wayback Machine angl Henzinger Thomas A The theory of hybrid automata Springer 2000 PDF 14 travnya 2014 u Wayback Machine Problemi verifikaciyi vlastivostej gibridnih sistem angl Alur Rajeev Formal verification of hybrid systems Proceedings of the International Conference on Embedded Software EMSOFT IEEE 2011 PDF 4 bereznya 2016 u Wayback Machine angl Gueguen Herve and Janan Zaytoon On the formal verification of hybrid systems Control Engineering Practice 12 10 2004 1253 1267 angl Kowalewski Stefan Introduction to the analysis and verification of hybrid systems Modelling Analysis and Design of Hybrid Systems Springer Berlin Heidelberg 2002 153 171 angl Henzinger Thomas A et al What s decidable about hybrid automata Proceedings of the twenty seventh annual ACM symposium on Theory of computing ACM 1995 PDF 19 listopada 2015 u Wayback Machine angl Alur Rajeev Thomas A Henzinger and Eduardo D Sontag Hybrid systems III verification and control Vol 3 Springer 1996 Problemi stijkosti ruhu v gibridnih sistemah angl Branicky Michael S Multiple Lyapunov functions and other analysis tools for switched and hybrid systems IEEE Transactions on Automatic Control 43 4 1998 475 482 PDF 12 grudnya 2015 u Wayback Machine angl Branicky Michael S Stability of hybrid systems Control Systems Robotics and Automation from Encyclopedia of Life Support Systems EOLSS 2004 PDF 12 grudnya 2015 u Wayback Machine angl Ye Hui Anthony N Michel and Ling Hou Stability theory for hybrid dynamical systems 1995 Proceedings of the 34th IEEE Conference on Decision and Control Vol 3 IEEE 1995 PDF 4 bereznya 2016 u Wayback Machine PosilannyaCe nezavershena stattya z matematiki Vi mozhete dopomogti proyektu vipravivshi abo dopisavshi yiyi