المؤلفون: Branga, Adrian Nicolae

المصدر: European Journal of Theoretical and Applied Sciences; Vol. 2 No. 5 (2024): European Journal of Theoretical and Applied Sciences; 416-423 ; European Journal of Theoretical and Applied Sciences; Том 2 № 5 (2024): European Journal of Theoretical and Applied Sciences; 416-423 ; 2786-7447 ; 10.59324/ejtas.2024.2(5)

مصطلحات موضوعية: optimization method, unimodal functions, algorithms and software implementation

وصف الملف: application/pdf

Relation: https://ejtas.com/index.php/journal/article/view/1181/844; https://ejtas.com/index.php/journal/article/view/1181

الاتاحة: https://ejtas.com/index.php/journal/article/view/1181
https://doi.org/10.59324/ejtas.2024.2(5).43

المؤلفون: Nurkanović, Armin, Albrecht, Sebastian, Brogliato, Bernard, Diehl, Moritz

المساهمون: Department of Microsystems Engineering Freiburg (IMTEK), Albert-Ludwigs-Universität Freiburg = University of Freiburg, Siemens AG Munich, Modélisation, simulation et commande des systèmes dynamiques non lisses (TRIPOP), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Jean Kuntzmann (LJK), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA)

المصدر: ISSN: 0005-1098 ; Automatica ; https://inria.hal.science/hal-03427800 ; Automatica, 2023, 158, pp.111295. ⟨10.1016/j.automatica.2023.111295⟩.

مصطلحات موضوعية: non-smooth and discontinuous problems, modeling for control optimization, numerical algorithms, algorithms and software, parametric optimization, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], [SPI.AUTO]Engineering Sciences [physics]/Automatic

الاتاحة: https://inria.hal.science/hal-03427800
https://inria.hal.science/hal-03427800v2/document
https://inria.hal.science/hal-03427800v2/file/time_freezing_cls_final.pdf
https://doi.org/10.1016/j.automatica.2023.111295

المؤلفون: Khvostivska, Liliia, Uniyat, Serhiy, Khvostivskyi, Mykola, Yavorskyi, Ihor

مصطلحات موضوعية: Mathematical Support Verification of Methods, Algorithms and Software Processing of Pulse Signals, Computer Diagnostic Systems, Physical Load, 612.16, 616.12, 616.13, 519.218

جغرافية الموضوع: Melbourne, Australia

وصف الملف: 185-190

Relation: 1. Blagitko B., Zayachuk I., Pyrogov O. The Mathematical Model of the Pulse Wave Propagation in Large Blood Vascular (2006). Fiz.-mat. modeling and inform. technology. Vol. 4., pp. 7-11.; 2. Gnilitskyy V.V., Muzhitska N.V. Refinement of the harmonic model of pulse wave for the express-diagnosis of pulsogram (2010). The Journal of Zhytomyr State Technological University. Technical sciences. Vol. 4(55), pp.28-38. DOI: https://doi.org/10.26642/tn-2010-4(55)-28-38.; 3. Хвостівська Л.В. Імітаційна модель пульсового сигналу судин людини [The simulation pulse signal of human vessels]. Вісник Хмельницького національного університету. Технічні науки. 2016. № 2. С.94-100.; 4. Hvostivska, L., Oksukhivska, H., Hvostivskyy, M., Shadrina, H. (2019) Імітаційне моделювання добового пульсового сигналу для задачі верифікації алгоритмів роботи систем довготривалого моніторингу, Вісник НТУУ "КПІ"; Серія Радіотехніка, Радіоапаратобудування, (77), pp 66-73. doi:10.20535/RADAP.2019.77.66-73.; 5. Хвостівська Л.В. Математична модель та методи аналізу пульсового сигналу для підвищення інформативності фотоплетизмографічних систем [Mathematical model and methods of pulse signal analysis to increase the informativeness of photoplethysmographic systems]: дисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 01.05.02. Тернопіль : ТНТУ, 2021. 177 с.; 6. Hau-Tieng Wu,Han-Kuei Wu, Chun-Li Wang, Yueh-Lung Yang, Wen-Hsiang Wu, Tung-Hu Tsai, Hen-Hong Chang. Modeling the Pulse Signal by Wave-Shape Function and Analyzing by Synchrosqueezing Transform (June 15, 2016). PLOS ONE. Vol. 15; 11(6):e0157135, pp.1-20. DOI: https://doi.org/10.1371/journal.pone.0157135.; 7. Уніят С.В., Хвостівський М.О. Актуальність обробки пульсових сигналів при фізичних навантаженнях у кардіодіагностичних системах [Relevance of pulse signals processing during physical exercises in cardiovascular diagnostic systems]. Актуальні задачі сучасних технологій: зб. тез доповідей ХІ міжнар. наук.-практ. конф. Молодих учених та студентів, (Тернопіль, 7-8 грудня 2022) / М-во освіти і науки України, Терн. націон. техн. ун-т ім. І. Пулюя [та ін.]. Тернопіль: ФОП Паляниця В.А., 2022. С.164. ISBN 978-617-7875-49-8.; 8. Khvostivskyy M., Uniyat S., Khvostivska L., Yavorskyy I. Mathematical modeling of the pulse signal during physical activity for the development of software for computer cardiodiagnostic systems. The 19th International scientific and practical conference “Innovative approaches to solving scientific problems” (May 16–19, 2023) Tokyo, Japan. International Science Group. 2023. pp. 396-399. doi:10.46299/ISG.2023.1.19.; 9. Хвостівський М.О., Хвостівська Л.В. Синтез структури інформаційної системи реєстрації та обробки пульсового сигналу [Synthesis of the structure of the information system of pulse signal registration and processing]. Науковий вісник Чернівецького університету: збірник наук. праць. Фізика. Електроніка. 2015. Т. 4. Вип. 1 С. 83-89. ISSN 2227-8842.; 11. Hvostivska L. Analysis of mathematical models pulse signal [Аналіз математичних моделей пульсового сигналу]. Materialy Mizhnarodnoi naukovo-tekhnichnoi konferentsii "Fundamentalni ta prykladni problemy suchasnykh tekhnolohii" (Tern., 19–21 travnia 2015 roku), pp. 158-159 [in Ukrainian].; 12. Хвостівський М.О. Математична модель макромеханізму формування електроретиносигналу для підвищення достовірності офтальмодіагностичних систем [A mathematical model of macromechanism of forming of electroretinosignal is for the increase of authenticity of the oftalmodiagnostic systems]: автореферат дисертації на здобуття наукового ступеня кандидата технічних наук: 01.05.02. Тернопіль, 2010. 20 с.; 13. Хвостівська Л.В., Осухівська Г.М., Хвостівський М.О., Шадріна Г.М., Дедів І.Ю. Розвиток методів та алгоритмів обчислення періоду стохастичних біомедичних сигналів для медичних комп’ютерно-діагностичних систем [Development of methods and algorithms for a stochastic biomedical signal period calculation in medical computer diagnostic systems]. Вісник НТУУ "КПІ". Серія Радіотехніка, Радіоапаратобудування, (79). 2019. С.78-84. doi:10.20535/RADAP.2019.79.78-84.; 14. Яворська Є.Б. Верифікація результатів спектрального аналізу ритмокардіограми [Verification of the results of the spectral analysis of the rhythmocardiogram]. Оптико-електронні інформаційно-енергетичні технології. 2009. № 1 (17). С. 119-121.; 15. Palaniza Y.B. Shadrina H.M., Khvostivskiy M.O., Dediv L.Ye., Dozorska O.F. Main theoretical basis of biosignals modeling. Znanstvena misel in Slovenia: journal. Ljubljana. 2018. №16. Vol.1. pp. 39-44.; 16. Драґан Я.П., Осухівська Г.М., Хвостівський М.О. Обґрунтування математичної моделі електроретинографічного сигналу у вигляді періодично корельованого випадкового процесу [Justification of the mathematical model of the electroretinographic signal in the form of a periodically correlated random process]. Комп’ютерні технології друкарства. Львів: УАД. 2007. № 18. С. 129-138.; Khvostivska L., Uniyat S., Khvostivskyi M., Yavorskyi I. Mathematical Support Verification of Methods, Algorithms and Software Processing of Pulse Signals under Physical Load in Computer Diagnostic Systems. Proceedings of the XXVIII International Scientific and Practical Conference. Melbourne, Australia. 2023. Pp. 185-190. ISBN 979-8-89074-574-3. DOI:10.46299/ISG.2023.1.28.; 979-8-89074-574-3; http://elartu.tntu.edu.ua/handle/lib/42143

الاتاحة: http://elartu.tntu.edu.ua/handle/lib/42143

المؤلفون: Nurkanović, Armin, Albrecht, Sebastian, Brogliato, Bernard, Diehl, Moritz

المساهمون: Department of Microsystems Engineering Freiburg (IMTEK), University of Freiburg Freiburg, Siemens AG Munich, Modélisation, simulation et commande des systèmes dynamiques non lisses (TRIPOP), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Jean Kuntzmann (LJK), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Université Grenoble Alpes (UGA)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Université Grenoble Alpes (UGA)

المصدر: https://hal.inria.fr/hal-03427800 ; 2021.

مصطلحات موضوعية: non-smooth and discontinuous problems, modeling for control optimization, numerical algorithms, algorithms and software, parametric optimization, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], [SPI.AUTO]Engineering Sciences [physics]/Automatic

Relation: hal-03427800; https://hal.inria.fr/hal-03427800; https://hal.inria.fr/hal-03427800/document; https://hal.inria.fr/hal-03427800/file/Nurkanovic14112021.pdf

الاتاحة: https://hal.inria.fr/hal-03427800
https://hal.inria.fr/hal-03427800/document
https://hal.inria.fr/hal-03427800/file/Nurkanovic14112021.pdf

المؤلفون: Polyakov, Sergey Vladimirovich, Podryga, Viktoria Olegovna, Puzyrkov, Dmitry Valerievich

المساهمون: Russian Science Foundation (project No. 17-71-10045)

المصدر: Lobachevskii Journal of Mathematics; Том 39, № 9 (2018): Part 1 ; 1818-9962 ; 1995-0802

مصطلحات موضوعية: Multiscale simulation of nonlinear processes in gas medium, Parallel algorithms and software, High performance computing, 65M08, 65Y05, 65Y10, 65Y20, 68Q10, 76M28, 76N25, 76J20

Relation: http://ojs.kpfu.ru/index.php/ljm/article/view/572

الاتاحة: http://ojs.kpfu.ru/index.php/ljm/article/view/572

المؤلفون: M. A. Ksenofontov, М. А. Ксенофонтов

المصدر: Doklady of the National Academy of Sciences of Belarus; Том 62, № 2 (2018); 244-249 ; Доклады Национальной академии наук Беларуси; Том 62, № 2 (2018); 244-249 ; 2524-2431 ; 1561-8323 ; 10.29235/1561-8323-2018-62-2

مصطلحات موضوعية: алгоритмы и программное обеспечение, polyurethanes, polymeric composites, mixing-dosing and forming equipment, algorithms and software, полиуретаны, полимерные композиты, смесительно-дозирующее и формующее оборудование

وصف الملف: application/pdf

Relation: https://doklady.belnauka.by/jour/article/view/514/517; Список использованных источников; Ксенофонтов, М. А. Физико-химические процессы формирования макромолекулярной структуры и свойств газонаполненных полимеров / М. А. Ксенофонтов // Выбр. навук. працы БГУ. – Минск: Изд. центр БГУ, 2001. – Т. 4. – С. 435–453.; Ксенофонтов, М. А. Газонаполненные полимеры. Наука, технология, применение / М. А. Ксенофонтов. – Минск: Изд. центр БГУ, 2002. – С. 18.; Газонаполненные полимеры – новые материалы и оборудование для их производства / М. А. Ксенофонтов [и др.] // Изв. Белорус. инженерн. акад. – 2005. – № 1 (19). – С. 56–62.; Физико-химические и спектрально-структурные свойства газонаполненных фенольных полимеров / М. А. Ксе-нофонтов [и др.]. – Минск: Изд. центр БГУ, 2006. – С. 12.; Ксенофонтов, М. А. Пенополиуретаны. Структура и свойства / М. А. Ксенофонтов // Вестник БГУ. Серия 1, Физика. Математика. Информатика. – 2011. – № 3. – С. 48–52.; References; Ksenofontov M. A. Physical and chemical processes of formation of the macromolecular structure and properties of gas-filled polymers. Vybranyya navukovyya pratsy BGU [Selected scientific works of BSU]. Minsk, Publishing Center of the Belarusian State University, 2001, vol. 4, pp. 435–453 (in Russian).; Ksenofontov M. A. Gas-Filled Polymers. Science, Technology, Application. Minsk, Publishing Center of the Belarusian State University, 2002, pp. 18 (in Russian).; Ksenofontov M. A., Ostrovskaya L. E., Khatenko A. S., Umreiko D. S. Gas-Filled Polymers – New Material and Equipment for their Manufacture. Izvestiya Belorusskoi inzhenernoi akademii [Proceedings of the Belarusian Academy of Engineering], 2005, no. 1(19), pp. 56–62 (in Russian).; Ksenofontov M. A., Ostrovskaya L. E., Khatenko A. S., Umreiko D. S. Physical-Chemical and Spectral-Structural Properties of Gas-Filled Phenol Polymers. Minsk, Publishing Center of the Belarusian State University, 2006, pp. 12 (in Russian).; Ksenofontov M. A. Polyurethane Foams. Structure and Properties. Vestnik BGU. Seriya 1, Fizika. Matematika. Informatika = Vestnik BSU. Series 1: Physics. Mathematics. Informatics], 2011, no. 3, pp. 48–52 (in Russian).; https://doklady.belnauka.by/jour/article/view/514

الاتاحة: https://doklady.belnauka.by/jour/article/view/514
https://doi.org/10.29235/1561-8323-2018-62-2-244-249

المؤلفون: Stepan Ozana, Petr Vojcinak, Martin Pies, Radovan Hajovsky

المصدر: Advances in Electrical and Electronic Engineering, Vol 12, Iss 5, Pp 488-500 (2014)

مصطلحات موضوعية: algorithms and software, simulation of dynamic systems, robust control of nonlinear systems., Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

Relation: http://advances.utc.sk/index.php/AEEE/article/view/1150; https://doaj.org/toc/1336-1376; https://doaj.org/toc/1804-3119

URL الوصول: https://doaj.org/article/501ba7f19017496cb7cafaa497758446

المؤلفون: S. G. Balakrishnan, Anirban Basu

المصدر: International Journal of Computational Research and Development, 2(2), 74-76, (2017-09-21)

مصطلحات موضوعية: Component, Sorting Algorithms, Energy Consumption, Energy Efficient Algorithms & Green Software Engineering

Relation: https://doi.org/10.5281/zenodo.914499; https://doi.org/10.5281/zenodo.914500; oai:zenodo.org:914500

الاتاحة: https://doi.org/10.5281/zenodo.914500

المؤلفون: ЕВТЕЕВА ЕЛЕНА ВИКТОРОВНА

مصطلحات موضوعية: ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ, СИСТЕМА УПРАВЛЕНИЯ, ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ, АППАРАТНОЕ ОБЕСПЕЧЕНИЕ, АЛГОРИТМИЧЕСКОЕ (ИНТЕЛЛЕКТУАЛЬНОЕ) ОБЕСПЕЧЕНИЕ, ПРОЕКТИРОВАНИЕ, МЕТОДЫ ПРОЕКТИРОВАНИЯ, ALGORITHMS (INTELLIGENT) SOFTWARE

وصف الملف: text/html

الاتاحة: http://cyberleninka.ru/article/n/informatsionno-tehnicheskoe-obespechenie-informatsionnyh-tehnologiy
http://cyberleninka.ru/article_covers/15899367.png

المؤلفون: Kasimbekov, Abbazbek, Alzhanova, Elmira

المصدر: SOCIETY. INTEGRATION. EDUCATION. Proceedings of the International Scientific Conference; Vol. 4 (2015): SOCIETY. INTEGRATION. EDUCATION. Proceedings of the International Scientific Conference May 22nd-23rd, 2015, Volume IV; 426-435 ; 2256-0629 ; 1691-5887

مصطلحات موضوعية: database, library corporate networks, methods, modules, algorithms and software systems, research and education information, virtual library

وصف الملف: application/pdf

Relation: https://journals.ru.lv/index.php/SIE/article/view/404/575; https://journals.ru.lv/index.php/SIE/article/view/404

الاتاحة: https://journals.ru.lv/index.php/SIE/article/view/404
https://doi.org/10.17770/sie2015vol4.404

المؤلفون: Garpinger, Olof, Hägglund, Tore

مصطلحات موضوعية: Control Engineering, Process Control, PID Control, Disturbance rejection, Algorithms and software, Autotuning, Robust control

وصف الملف: application/pdf

Relation: https://lup.lub.lu.se/record/1444539; https://portal.research.lu.se/files/6113688/8233157.pdf; scopus:79961019085

الاتاحة: https://lup.lub.lu.se/record/1444539
https://portal.research.lu.se/files/6113688/8233157.pdf

المؤلفون: Трофименко, С., Маршалов, А., Гриб, Н., Колодезников, И.

مصطلحات موضوعية: ЭЛЕКТРОМАГНИТНОЕ ИЗЛУЧЕНИЕ,ВРЕМЕННЫЕ РЯДЫ,АЛГОРИТМ И ПРОГРАММНОЕ РЕШЕНИЕ,АНОМАЛЬНЫЕ УРОВНИ РЯДА,ELECTROMAGNETIC RADIATION,TIME SERIES,ALGORITHMS AND SOFTWARE SOLUTION,ABNORMAL LEVELS OF A NUMBER

وصف الملف: text/html

الاتاحة: http://cyberleninka.ru/article/n/algoritm-i-programmnoe-reshenie-v-zadache-po-vyyavleniyu-anomalnyh-urovney-elektromagnitnogo-izlucheniya-emi
http://cyberleninka.ru/article_covers/15677291.png

المؤلفون: Julia Rubin, Marsha Chechik

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cs.toronto.edu/~chechik/pubs/ase12.pdf.

مصطلحات موضوعية: Categories and Subject Descriptors D.2.7 [Software Engineering, Distribution, Maintenance, and Enhancement—Restructuring, reverse engineering, and reengineering, D.2.13 [Software Engineering, Reusable Software—Reuse Models General Terms Design, Algorithms Keywords Software product lines

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.416.7149; http://www.cs.toronto.edu/~chechik/pubs/ase12.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.416.7149
http://www.cs.toronto.edu/~chechik/pubs/ase12.pdf

المؤلفون: Garpinger, Olof

المصدر: Research Reports TFRT-3245.

مصطلحات موضوعية: measurement noise, constrained control signal activity, linear systems, disturbance rejection, PID control, process control, Youla parameterized controllers, algorithms and software, Teknik, Elektroteknik och elektronik, Reglerteknik, Engineering and Technology, Electrical Engineering, Electronic Engineering, Information Engineering, Control Engineering

وصف الملف: electronic

URL الوصول: https://lup.lub.lu.se/record/1624916
https://portal.research.lu.se/files/3401075/8146224.pdf

المؤلفون: Qiang Zeng, Dinghao Wu, Peng Liu

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://faculty.ist.psu.edu/wu/papers/cruiser-pldi2011.pdf.

مصطلحات موضوعية: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification, D.2.5 [Software Engineering, Testing and Debugging, D.1.3 [Programming Techniques, Concurrent Programming General Terms Security, Verification, Languages, Algorithms Keywords Software cruising, buffer overflow, program monitor, multicore, concurrency, lock-free

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.370.7382; http://faculty.ist.psu.edu/wu/papers/cruiser-pldi2011.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.370.7382
http://faculty.ist.psu.edu/wu/papers/cruiser-pldi2011.pdf

المؤلفون: Paulo Roberto Farah, Rogério C. Silva, Enrique A. da Roza, Silvia R. Vergilio, Thainá Mariani

مصطلحات موضوعية: Software refactoring, clustering algorithms,Mining Software Repositories

Relation: https://doi.org/10.5281/zenodo.4555797; https://doi.org/10.5281/zenodo.4555798; oai:zenodo.org:4555798

الاتاحة: https://doi.org/10.5281/zenodo.4555798

المؤلفون: Jean-baptiste Tristan, Xavier Leroy

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://cristal.inria.fr/~xleroy/publi/validation-softpipe.pdf.

مصطلحات موضوعية: Software/Program Verification- Correctness proofs, D.3.4 [Programming Languages, Processors- Optimization General Terms Languages, Verification, Algorithms Keywords Software pipelining, translation validation, symbolic evaluation, verified

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.151.7670; http://cristal.inria.fr/~xleroy/publi/validation-softpipe.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.151.7670
http://cristal.inria.fr/~xleroy/publi/validation-softpipe.pdf

المؤلفون: Olof Garpinger

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.control.lth.se/documents/2008/og08ifac.pdf.

مصطلحات موضوعية: Algorithms and software, Autotuning, Disturbance rejection, PID Control, Process Control, Robust control

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.530.3556; http://www.control.lth.se/documents/2008/og08ifac.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.530.3556
http://www.control.lth.se/documents/2008/og08ifac.pdf

المؤلفون: Greg Dennis, Felix Sheng-ho, Chang Daniel Jackson

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://sdg.csail.mit.edu/pubs/2006/dennis_modular.pdf.

مصطلحات موضوعية: Verification, Reliability, Languages, Algorithms Keywords software model checking, SAT, formal methods, first-order logic, formal verification, Alloy

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.73.2940; http://sdg.csail.mit.edu/pubs/2006/dennis_modular.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.73.2940
http://sdg.csail.mit.edu/pubs/2006/dennis_modular.pdf

المؤلفون: Mohajerani, Sahar, 1982, Malik, Robi, Fabian, Martin, 1960

المصدر: Automatica. 76:277-281

مصطلحات موضوعية: Compositional synthesis, Discrete event systems, Algorithms and software, Controller constraints and structure, Computational issues

URL الوصول: https://research.chalmers.se/publication/247495