[{"conference":{"start_date":"2020-09-20","location":"Virtual ","end_date":"2020-09-25","name":"EMSOFT: International Conference on Embedded Software"},"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"type":"conference","keyword":["reachability","hybrid systems","decomposition"],"status":"public","_id":"8287","department":[{"_id":"ToHe"}],"file_date_updated":"2020-08-24T12:53:15Z","date_updated":"2023-08-22T13:27:32Z","ddc":["000"],"abstract":[{"text":"Reachability analysis aims at identifying states reachable by a system within a given time horizon. This task is known to be computationally expensive for linear hybrid systems. Reachability analysis works by iteratively applying continuous and discrete post operators to compute states reachable according to continuous and discrete dynamics, respectively. In this paper, we enhance both of these operators and make sure that most of the involved computations are performed in low-dimensional state space. In particular, we improve the continuous-post operator by performing computations in high-dimensional state space only for time intervals relevant for the subsequent application of the discrete-post operator. Furthermore, the new discrete-post operator performs low-dimensional computations by leveraging the structure of the guard and assignment of a considered transition. We illustrate the potential of our approach on a number of challenging benchmarks.","lang":"eng"}],"oa_version":"Preprint","ec_funded":1,"license":"https://creativecommons.org/licenses/by/4.0/","related_material":{"record":[{"relation":"later_version","status":"public","id":"8790"}]},"publication_status":"published","language":[{"iso":"eng"}],"file":[{"content_type":"application/pdf","relation":"main_file","access_level":"open_access","success":1,"file_id":"8288","checksum":"d19e97d0f8a3a441dc078ec812297d75","file_size":696384,"date_updated":"2020-08-24T12:53:15Z","creator":"cschilli","file_name":"2020EMSOFT.pdf","date_created":"2020-08-24T12:53:15Z"}],"project":[{"grant_number":"S 11407_N23","name":"Rigorous Systems Engineering","call_identifier":"FWF","_id":"25832EC2-B435-11E9-9278-68D0E5697425"},{"_id":"25C5A090-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"The Wittgenstein Prize","grant_number":"Z00312"},{"_id":"260C2330-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","grant_number":"754411","name":"ISTplus - Postdoctoral Fellowships"}],"article_processing_charge":"No","external_id":{"arxiv":["1905.02458"]},"author":[{"first_name":"Sergiy","last_name":"Bogomolov","full_name":"Bogomolov, Sergiy"},{"full_name":"Forets, Marcelo","last_name":"Forets","first_name":"Marcelo"},{"first_name":"Goran","full_name":"Frehse, Goran","last_name":"Frehse"},{"full_name":"Potomkin, Kostiantyn","last_name":"Potomkin","first_name":"Kostiantyn"},{"last_name":"Schilling","orcid":"0000-0003-3658-1065","full_name":"Schilling, Christian","id":"3A2F4DCE-F248-11E8-B48F-1D18A9856A87","first_name":"Christian"}],"title":"Reachability analysis of linear hybrid systems via block decomposition","citation":{"chicago":"Bogomolov, Sergiy, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, and Christian Schilling. “Reachability Analysis of Linear Hybrid Systems via Block Decomposition.” In Proceedings of the International Conference on Embedded Software, 2020.","ista":"Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. 2020. Reachability analysis of linear hybrid systems via block decomposition. Proceedings of the International Conference on Embedded Software. EMSOFT: International Conference on Embedded Software.","mla":"Bogomolov, Sergiy, et al. “Reachability Analysis of Linear Hybrid Systems via Block Decomposition.” Proceedings of the International Conference on Embedded Software, 2020.","ieee":"S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, and C. Schilling, “Reachability analysis of linear hybrid systems via block decomposition,” in Proceedings of the International Conference on Embedded Software, Virtual , 2020.","short":"S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, in:, Proceedings of the International Conference on Embedded Software, 2020.","ama":"Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. Reachability analysis of linear hybrid systems via block decomposition. In: Proceedings of the International Conference on Embedded Software. ; 2020.","apa":"Bogomolov, S., Forets, M., Frehse, G., Potomkin, K., & Schilling, C. (2020). Reachability analysis of linear hybrid systems via block decomposition. In Proceedings of the International Conference on Embedded Software. Virtual ."},"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","oa":1,"quality_controlled":"1","date_created":"2020-08-24T12:56:20Z","date_published":"2020-01-01T00:00:00Z","year":"2020","has_accepted_license":"1","publication":"Proceedings of the International Conference on Embedded Software"},{"intvolume":" 39","month":"11","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1905.02458"}],"scopus_import":"1","oa_version":"Preprint","abstract":[{"text":"Reachability analysis aims at identifying states reachable by a system within a given time horizon. This task is known to be computationally expensive for linear hybrid systems. Reachability analysis works by iteratively applying continuous and discrete post operators to compute states reachable according to continuous and discrete dynamics, respectively. In this article, we enhance both of these operators and make sure that most of the involved computations are performed in low-dimensional state space. In particular, we improve the continuous-post operator by performing computations in high-dimensional state space only for time intervals relevant for the subsequent application of the discrete-post operator. Furthermore, the new discrete-post operator performs low-dimensional computations by leveraging the structure of the guard and assignment of a considered transition. We illustrate the potential of our approach on a number of challenging benchmarks.","lang":"eng"}],"ec_funded":1,"issue":"11","volume":39,"related_material":{"record":[{"id":"8287","status":"public","relation":"earlier_version"}]},"language":[{"iso":"eng"}],"publication_status":"published","publication_identifier":{"eissn":["19374151"],"issn":["02780070"]},"status":"public","type":"journal_article","article_type":"original","_id":"8790","department":[{"_id":"ToHe"}],"date_updated":"2023-08-22T13:27:33Z","oa":1,"publisher":"IEEE","quality_controlled":"1","acknowledgement":"This research was supported in part by the Austrian Science Fund (FWF) under grants S11402-N23 (RiSE/SHiNE) and Z211-N23 (Wittgenstein Award), the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No. 754411, and the Air Force Office of Scientific Research under award number FA2386-17-1-4065. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the authors and do not necessarily reflect the views of the United States Air Force. ","date_created":"2020-11-22T23:01:25Z","date_published":"2020-11-01T00:00:00Z","doi":"10.1109/TCAD.2020.3012859","page":"4018-4029","publication":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","day":"01","year":"2020","isi":1,"project":[{"call_identifier":"FWF","_id":"25832EC2-B435-11E9-9278-68D0E5697425","name":"Rigorous Systems Engineering","grant_number":"S 11407_N23"},{"name":"The Wittgenstein Prize","grant_number":"Z211","_id":"25F42A32-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"},{"call_identifier":"H2020","_id":"260C2330-B435-11E9-9278-68D0E5697425","name":"ISTplus - Postdoctoral Fellowships","grant_number":"754411"}],"title":"Reachability analysis of linear hybrid systems via block decomposition","article_processing_charge":"No","external_id":{"isi":["000587712700072"],"arxiv":["1905.02458"]},"author":[{"last_name":"Bogomolov","orcid":"0000-0002-0686-0365","full_name":"Bogomolov, Sergiy","id":"369D9A44-F248-11E8-B48F-1D18A9856A87","first_name":"Sergiy"},{"full_name":"Forets, Marcelo","last_name":"Forets","first_name":"Marcelo"},{"full_name":"Frehse, Goran","last_name":"Frehse","first_name":"Goran"},{"first_name":"Kostiantyn","last_name":"Potomkin","full_name":"Potomkin, Kostiantyn"},{"last_name":"Schilling","orcid":"0000-0003-3658-1065","full_name":"Schilling, Christian","id":"3A2F4DCE-F248-11E8-B48F-1D18A9856A87","first_name":"Christian"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","citation":{"chicago":"Bogomolov, Sergiy, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, and Christian Schilling. “Reachability Analysis of Linear Hybrid Systems via Block Decomposition.” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. IEEE, 2020. https://doi.org/10.1109/TCAD.2020.3012859.","ista":"Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. 2020. Reachability analysis of linear hybrid systems via block decomposition. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 39(11), 4018–4029.","mla":"Bogomolov, Sergiy, et al. “Reachability Analysis of Linear Hybrid Systems via Block Decomposition.” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 39, no. 11, IEEE, 2020, pp. 4018–29, doi:10.1109/TCAD.2020.3012859.","ama":"Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. Reachability analysis of linear hybrid systems via block decomposition. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 2020;39(11):4018-4029. doi:10.1109/TCAD.2020.3012859","apa":"Bogomolov, S., Forets, M., Frehse, G., Potomkin, K., & Schilling, C. (2020). Reachability analysis of linear hybrid systems via block decomposition. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. IEEE. https://doi.org/10.1109/TCAD.2020.3012859","short":"S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 39 (2020) 4018–4029.","ieee":"S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, and C. Schilling, “Reachability analysis of linear hybrid systems via block decomposition,” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 39, no. 11. IEEE, pp. 4018–4029, 2020."}},{"scopus_import":"1","month":"11","intvolume":" 11","abstract":[{"lang":"eng","text":"Maintaining fertility in a fluctuating environment is key to the reproductive success of flowering plants. Meiosis and pollen formation are particularly sensitive to changes in growing conditions, especially temperature. We have previously identified cyclin-dependent kinase G1 (CDKG1) as a master regulator of temperature-dependent meiosis and this may involve the regulation of alternative splicing (AS), including of its own transcript. CDKG1 mRNA can undergo several AS events, potentially producing two protein variants: CDKG1L and CDKG1S, differing in their N-terminal domain which may be involved in co-factor interaction. In leaves, both isoforms have distinct temperature-dependent functions on target mRNA processing, but their role in pollen development is unknown. In the present study, we characterize the role of CDKG1L and CDKG1S in maintaining Arabidopsis fertility. We show that the long (L) form is necessary and sufficient to rescue the fertility defects of the cdkg1-1 mutant, while the short (S) form is unable to rescue fertility. On the other hand, an extra copy of CDKG1L reduces fertility. In addition, mutation of the ATP binding pocket of the kinase indicates that kinase activity is necessary for the function of CDKG1. Kinase mutants of CDKG1L and CDKG1S correctly localize to the cell nucleus and nucleus and cytoplasm, respectively, but are unable to rescue either the fertility or the splicing defects of the cdkg1-1 mutant. Furthermore, we show that there is partial functional overlap between CDKG1 and its paralog CDKG2 that could in part be explained by overlapping gene expression."}],"oa_version":"Published Version","volume":11,"publication_identifier":{"eissn":["1664-462X"]},"publication_status":"published","file":[{"relation":"main_file","access_level":"open_access","content_type":"application/pdf","success":1,"checksum":"1c0ee6ce9950aa665d6a5cc64aa6b752","file_id":"8929","creator":"dernst","file_size":1833244,"date_updated":"2020-12-09T09:14:19Z","file_name":"2020_Frontiers_Nibau.pdf","date_created":"2020-12-09T09:14:19Z"}],"language":[{"iso":"eng"}],"type":"journal_article","article_type":"original","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"status":"public","_id":"8924","file_date_updated":"2020-12-09T09:14:19Z","department":[{"_id":"EvBe"}],"date_updated":"2023-08-24T10:50:00Z","ddc":["580"],"publisher":"Frontiers","quality_controlled":"1","oa":1,"acknowledgement":"CN, DD, NF-F, and JD were funded by the BBSRC (grant number BB/M009459/1). NK and AM were funded through the ERASMUS+Program. NC was funded by the VIPS Program of the Austrian Federal Ministry of Science and Research and the City of Vienna.","doi":"10.3389/fpls.2020.586870","date_published":"2020-11-10T00:00:00Z","date_created":"2020-12-06T23:01:14Z","has_accepted_license":"1","isi":1,"year":"2020","day":"10","publication":"Frontiers in Plant Science","article_number":"586870","author":[{"full_name":"Nibau, Candida","last_name":"Nibau","first_name":"Candida"},{"full_name":"Dadarou, Despoina","last_name":"Dadarou","first_name":"Despoina"},{"first_name":"Nestoras","last_name":"Kargios","full_name":"Kargios, Nestoras"},{"first_name":"Areti","last_name":"Mallioura","full_name":"Mallioura, Areti"},{"first_name":"Narcis","full_name":"Fernandez-Fuentes, Narcis","last_name":"Fernandez-Fuentes"},{"full_name":"Cavallari, Nicola","last_name":"Cavallari","id":"457160E6-F248-11E8-B48F-1D18A9856A87","first_name":"Nicola"},{"first_name":"John H.","last_name":"Doonan","full_name":"Doonan, John H."}],"article_processing_charge":"No","external_id":{"isi":["000591637000001"]},"title":"A functional kinase is necessary for cyclin-dependent kinase G1 (CDKG1) to maintain fertility at high ambient temperature in Arabidopsis","citation":{"mla":"Nibau, Candida, et al. “A Functional Kinase Is Necessary for Cyclin-Dependent Kinase G1 (CDKG1) to Maintain Fertility at High Ambient Temperature in Arabidopsis.” Frontiers in Plant Science, vol. 11, 586870, Frontiers, 2020, doi:10.3389/fpls.2020.586870.","short":"C. Nibau, D. Dadarou, N. Kargios, A. Mallioura, N. Fernandez-Fuentes, N. Cavallari, J.H. Doonan, Frontiers in Plant Science 11 (2020).","ieee":"C. Nibau et al., “A functional kinase is necessary for cyclin-dependent kinase G1 (CDKG1) to maintain fertility at high ambient temperature in Arabidopsis,” Frontiers in Plant Science, vol. 11. Frontiers, 2020.","apa":"Nibau, C., Dadarou, D., Kargios, N., Mallioura, A., Fernandez-Fuentes, N., Cavallari, N., & Doonan, J. H. (2020). A functional kinase is necessary for cyclin-dependent kinase G1 (CDKG1) to maintain fertility at high ambient temperature in Arabidopsis. Frontiers in Plant Science. Frontiers. https://doi.org/10.3389/fpls.2020.586870","ama":"Nibau C, Dadarou D, Kargios N, et al. A functional kinase is necessary for cyclin-dependent kinase G1 (CDKG1) to maintain fertility at high ambient temperature in Arabidopsis. Frontiers in Plant Science. 2020;11. doi:10.3389/fpls.2020.586870","chicago":"Nibau, Candida, Despoina Dadarou, Nestoras Kargios, Areti Mallioura, Narcis Fernandez-Fuentes, Nicola Cavallari, and John H. Doonan. “A Functional Kinase Is Necessary for Cyclin-Dependent Kinase G1 (CDKG1) to Maintain Fertility at High Ambient Temperature in Arabidopsis.” Frontiers in Plant Science. Frontiers, 2020. https://doi.org/10.3389/fpls.2020.586870.","ista":"Nibau C, Dadarou D, Kargios N, Mallioura A, Fernandez-Fuentes N, Cavallari N, Doonan JH. 2020. A functional kinase is necessary for cyclin-dependent kinase G1 (CDKG1) to maintain fertility at high ambient temperature in Arabidopsis. Frontiers in Plant Science. 11, 586870."},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8"},{"author":[{"last_name":"Zemlicka","full_name":"Zemlicka, Martin","id":"2DCF8DE6-F248-11E8-B48F-1D18A9856A87","first_name":"Martin"},{"full_name":"Kopčík, M.","last_name":"Kopčík","first_name":"M."},{"full_name":"Szabó, P.","last_name":"Szabó","first_name":"P."},{"last_name":"Samuely","full_name":"Samuely, T.","first_name":"T."},{"first_name":"J.","full_name":"Kačmarčík, J.","last_name":"Kačmarčík"},{"first_name":"P.","last_name":"Neilinger","full_name":"Neilinger, P."},{"full_name":"Grajcar, M.","last_name":"Grajcar","first_name":"M."},{"first_name":"P.","full_name":"Samuely, P.","last_name":"Samuely"}],"external_id":{"isi":["000591509900003"],"arxiv":["2011.04329"]},"article_processing_charge":"No","title":"Zeeman-driven superconductor-insulator transition in strongly disordered MoC films: Scanning tunneling microscopy and transport studies in a transverse magnetic field","citation":{"ista":"Zemlicka M, Kopčík M, Szabó P, Samuely T, Kačmarčík J, Neilinger P, Grajcar M, Samuely P. 2020. Zeeman-driven superconductor-insulator transition in strongly disordered MoC films: Scanning tunneling microscopy and transport studies in a transverse magnetic field. Physical Review B. 102(18), 180508.","chicago":"Zemlicka, Martin, M. Kopčík, P. Szabó, T. Samuely, J. Kačmarčík, P. Neilinger, M. Grajcar, and P. Samuely. “Zeeman-Driven Superconductor-Insulator Transition in Strongly Disordered MoC Films: Scanning Tunneling Microscopy and Transport Studies in a Transverse Magnetic Field.” Physical Review B. American Physical Society, 2020. https://doi.org/10.1103/PhysRevB.102.180508.","apa":"Zemlicka, M., Kopčík, M., Szabó, P., Samuely, T., Kačmarčík, J., Neilinger, P., … Samuely, P. (2020). Zeeman-driven superconductor-insulator transition in strongly disordered MoC films: Scanning tunneling microscopy and transport studies in a transverse magnetic field. Physical Review B. American Physical Society. https://doi.org/10.1103/PhysRevB.102.180508","ama":"Zemlicka M, Kopčík M, Szabó P, et al. Zeeman-driven superconductor-insulator transition in strongly disordered MoC films: Scanning tunneling microscopy and transport studies in a transverse magnetic field. Physical Review B. 2020;102(18). doi:10.1103/PhysRevB.102.180508","ieee":"M. Zemlicka et al., “Zeeman-driven superconductor-insulator transition in strongly disordered MoC films: Scanning tunneling microscopy and transport studies in a transverse magnetic field,” Physical Review B, vol. 102, no. 18. American Physical Society, 2020.","short":"M. Zemlicka, M. Kopčík, P. Szabó, T. Samuely, J. Kačmarčík, P. Neilinger, M. Grajcar, P. Samuely, Physical Review B 102 (2020).","mla":"Zemlicka, Martin, et al. “Zeeman-Driven Superconductor-Insulator Transition in Strongly Disordered MoC Films: Scanning Tunneling Microscopy and Transport Studies in a Transverse Magnetic Field.” Physical Review B, vol. 102, no. 18, 180508, American Physical Society, 2020, doi:10.1103/PhysRevB.102.180508."},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","article_number":"180508","date_published":"2020-11-01T00:00:00Z","doi":"10.1103/PhysRevB.102.180508","date_created":"2020-12-13T23:01:21Z","isi":1,"year":"2020","day":"01","publication":"Physical Review B","publisher":"American Physical Society","quality_controlled":"1","oa":1,"acknowledgement":"We gratefully acknowledge helpful conversations with B.L. Altshuler and R. Hlubina. The work was supported by the projects APVV-18-0358, VEGA 2/0058/20, VEGA 1/0743/19 the European Microkelvin Platform, the COST action CA16218 (Nanocohybri) and by U.S. Steel Košice. ","department":[{"_id":"JoFi"}],"date_updated":"2023-08-24T10:53:36Z","article_type":"original","type":"journal_article","status":"public","_id":"8944","issue":"18","volume":102,"publication_identifier":{"issn":["24699950"],"eissn":["24699969"]},"publication_status":"published","language":[{"iso":"eng"}],"scopus_import":"1","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/2011.04329"}],"month":"11","intvolume":" 102","abstract":[{"lang":"eng","text":"Superconductor insulator transition in transverse magnetic field is studied in the highly disordered MoC film with the product of the Fermi momentum and the mean free path kF*l close to unity. Surprisingly, the Zeeman paramagnetic effects dominate over orbital coupling on both sides of the transition. In superconducting state it is evidenced by a high upper critical magnetic field 𝐵𝑐2, by its square root dependence on temperature, as well as by the Zeeman splitting of the quasiparticle density of states (DOS) measured by scanning tunneling microscopy. At 𝐵𝑐2 a logarithmic anomaly in DOS is observed. This anomaly is further enhanced in increasing magnetic field, which is explained by the Zeeman splitting of the Altshuler-Aronov DOS driving\r\nthe system into a more insulating or resistive state. Spin dependent Altshuler-Aronov correction is also needed to explain the transport behavior above 𝐵𝑐2."}],"oa_version":"Preprint"},{"ec_funded":1,"volume":11,"publication_status":"published","publication_identifier":{"eissn":["1664042X"]},"language":[{"iso":"eng"}],"file":[{"date_created":"2020-12-21T10:37:50Z","file_name":"2020_Frontiers_Rizzo.pdf","date_updated":"2020-12-21T10:37:50Z","file_size":13380030,"creator":"dernst","file_id":"8961","checksum":"ef9515b28c5619b7126c0f347958bcb3","success":1,"content_type":"application/pdf","access_level":"open_access","relation":"main_file"}],"scopus_import":"1","intvolume":" 11","month":"11","abstract":[{"lang":"eng","text":"Skeletal muscle activity is continuously modulated across physiologic states to provide coordination, flexibility and responsiveness to body tasks and external inputs. Despite the central role the muscular system plays in facilitating vital body functions, the network of brain-muscle interactions required to control hundreds of muscles and synchronize their activation in relation to distinct physiologic states has not been investigated. Recent approaches have focused on general associations between individual brain rhythms and muscle activation during movement tasks. However, the specific forms of coupling, the functional network of cortico-muscular coordination, and how network structure and dynamics are modulated by autonomic regulation across physiologic states remains unknown. To identify and quantify the cortico-muscular interaction network and uncover basic features of neuro-autonomic control of muscle function, we investigate the coupling between synchronous bursts in cortical rhythms and peripheral muscle activation during sleep and wake. Utilizing the concept of time delay stability and a novel network physiology approach, we find that the brain-muscle network exhibits complex dynamic patterns of communication involving multiple brain rhythms across cortical locations and different electromyographic frequency bands. Moreover, our results show that during each physiologic state the cortico-muscular network is characterized by a specific profile of network links strength, where particular brain rhythms play role of main mediators of interaction and control. Further, we discover a hierarchical reorganization in network structure across physiologic states, with high connectivity and network link strength during wake, intermediate during REM and light sleep, and low during deep sleep, a sleep-stage stratification that demonstrates a unique association between physiologic states and cortico-muscular network structure. The reported empirical observations are consistent across individual subjects, indicating universal behavior in network structure and dynamics, and high sensitivity of cortico-muscular control to changes in autonomic regulation, even at low levels of physical activity and muscle tone during sleep. Our findings demonstrate previously unrecognized basic principles of brain-muscle network communication and control, and provide new perspectives on the regulatory mechanisms of brain dynamics and locomotor activation, with potential clinical implications for neurodegenerative, movement and sleep disorders, and for developing efficient treatment strategies."}],"oa_version":"Published Version","pmid":1,"department":[{"_id":"GaTk"}],"file_date_updated":"2020-12-21T10:37:50Z","date_updated":"2023-08-24T11:00:45Z","ddc":["570"],"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"article_type":"original","type":"journal_article","status":"public","_id":"8955","date_created":"2020-12-20T23:01:18Z","date_published":"2020-11-26T00:00:00Z","doi":"10.3389/fphys.2020.558070","year":"2020","isi":1,"has_accepted_license":"1","publication":"Frontiers in Physiology","day":"26","oa":1,"quality_controlled":"1","publisher":"Frontiers","acknowledgement":"We acknowledge support from the W. M. Keck Foundation, National Institutes of Health (NIH Grant 1R01-HL098437), the US-Israel Binational Science Foundation (BSF Grant 2012219), and the Office of Naval Research (ONR Grant 000141010078). FL acknowledges support also from the European Union's Horizon 2020 research and innovation program under the Marie Sklodowska-Curie Grant Agreement No. 754411.","external_id":{"pmid":["33324233"],"isi":["000596849400001"]},"article_processing_charge":"No","author":[{"full_name":"Rizzo, Rossella","last_name":"Rizzo","first_name":"Rossella"},{"full_name":"Zhang, Xiyun","last_name":"Zhang","first_name":"Xiyun"},{"last_name":"Wang","full_name":"Wang, Jilin W.J.L.","first_name":"Jilin W.J.L."},{"last_name":"Lombardi","orcid":"0000-0003-2623-5249","full_name":"Lombardi, Fabrizio","id":"A057D288-3E88-11E9-986D-0CF4E5697425","first_name":"Fabrizio"},{"first_name":"Plamen Ch","full_name":"Ivanov, Plamen Ch","last_name":"Ivanov"}],"title":"Network physiology of cortico–muscular interactions","citation":{"ista":"Rizzo R, Zhang X, Wang JWJL, Lombardi F, Ivanov PC. 2020. Network physiology of cortico–muscular interactions. Frontiers in Physiology. 11, 558070.","chicago":"Rizzo, Rossella, Xiyun Zhang, Jilin W.J.L. Wang, Fabrizio Lombardi, and Plamen Ch Ivanov. “Network Physiology of Cortico–Muscular Interactions.” Frontiers in Physiology. Frontiers, 2020. https://doi.org/10.3389/fphys.2020.558070.","ama":"Rizzo R, Zhang X, Wang JWJL, Lombardi F, Ivanov PC. Network physiology of cortico–muscular interactions. Frontiers in Physiology. 2020;11. doi:10.3389/fphys.2020.558070","apa":"Rizzo, R., Zhang, X., Wang, J. W. J. L., Lombardi, F., & Ivanov, P. C. (2020). Network physiology of cortico–muscular interactions. Frontiers in Physiology. Frontiers. https://doi.org/10.3389/fphys.2020.558070","ieee":"R. Rizzo, X. Zhang, J. W. J. L. Wang, F. Lombardi, and P. C. Ivanov, “Network physiology of cortico–muscular interactions,” Frontiers in Physiology, vol. 11. Frontiers, 2020.","short":"R. Rizzo, X. Zhang, J.W.J.L. Wang, F. Lombardi, P.C. Ivanov, Frontiers in Physiology 11 (2020).","mla":"Rizzo, Rossella, et al. “Network Physiology of Cortico–Muscular Interactions.” Frontiers in Physiology, vol. 11, 558070, Frontiers, 2020, doi:10.3389/fphys.2020.558070."},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","project":[{"_id":"260C2330-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","name":"ISTplus - Postdoctoral Fellowships","grant_number":"754411"}],"article_number":"558070"}]