المؤلفون: Ghosh, Bineet, Khan, Masaad, Ashok, Adithya, Chinchali, Sandeep, Duggirala, Parasara Sridhar

مصطلحات موضوعية: Computer Science - Robotics

URL الوصول: http://arxiv.org/abs/2207.06390

المؤلفون: Goyal, Manish, Dewaskar, Miheer, Duggirala, Parasara Sridhar

مصطلحات موضوعية: Electrical Engineering and Systems Science - Systems and Control, Computer Science - Machine Learning, Computer Science - Robotics, 93-04, 93-08, 93-11, 68T07, 68U07, F.4, I.6, J.6, G.4

URL الوصول: http://arxiv.org/abs/2207.03884

المؤلفون: Ghosh, Bineet, Duggirala, Parasara Sridhar

مصطلحات موضوعية: Electrical Engineering and Systems Science - Systems and Control

URL الوصول: http://arxiv.org/abs/2109.07638

المؤلفون: Ghosh, Bineet, Duggirala, Parasara Sridhar

مصطلحات موضوعية: Electrical Engineering and Systems Science - Systems and Control

URL الوصول: http://arxiv.org/abs/2109.07632

المؤلفون: Ghosh, Bineet, Chinchali, Sandeep, Duggirala, Parasara Sridhar

مصطلحات موضوعية: Computer Science - Robotics

URL الوصول: http://arxiv.org/abs/2108.01235

المؤلفون: Karimi, Abolfazl, Goyal, Manish, Duggirala, Parasara Sridhar

مصطلحات موضوعية: Computer Science - Robotics

URL الوصول: http://arxiv.org/abs/2107.05815

المؤلفون: Kim, Edward, Bak, Stanley, Duggirala, Parasara Sridhar

مصطلحات موضوعية: Electrical Engineering and Systems Science - Systems and Control, Mathematics - Dynamical Systems, Mathematics - Optimization and Control

URL الوصول: http://arxiv.org/abs/2105.11796

المؤلفون: Bak, Stanley, Bogomolov, Sergiy, Duggirala, Parasara Sridhar, Gerlach, Adam R., Potomkin, Kostiantyn

مصطلحات موضوعية: Electrical Engineering and Systems Science - Systems and Control

URL الوصول: http://arxiv.org/abs/2105.00886

المؤلفون: Goyal, Manish, Duggirala, Parasara Sridhar

مصطلحات موضوعية: Electrical Engineering and Systems Science - Systems and Control, J.6.1, G.4.9

URL الوصول: http://arxiv.org/abs/2007.05685

المؤلفون: Goyal, Manish, Bergman, David, Duggirala, Parasara Sridhar

مصطلحات موضوعية: Electrical Engineering and Systems Science - Systems and Control, Computer Science - Robotics

Relation: http://arxiv.org/abs/2311.15343

الاتاحة: http://arxiv.org/abs/2311.15343

المؤلفون: Hobbs, Clara, Xu, Shengjie, Ghosh, Bineet, Fraccaroli, Enrico, Duggirala, Parasara Sridhar, Chakraborty, Samarjit

المساهمون: Hobbs, Clara, Xu, Shengjie, Ghosh, Bineet, Fraccaroli, Enrico, Duggirala, Parasara Sridhar, Chakraborty, Samarjit

مصطلحات موضوعية: Embedded systems, Cyber-physical systems, Aerospace electronics, Robustness, Safety, Trajectory, Computational efficiency

وصف الملف: ELETTRONICO

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:001267260500020; ispartofbook:ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS); ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS); firstpage:99; lastpage:110; numberofpages:12; https://hdl.handle.net/11562/1133853

الاتاحة: https://hdl.handle.net/11562/1133853
https://doi.org/10.1109/iccps61052.2024.00016

المؤلفون: Xu, Shengjie, Hobbs, Clara, Song, Yukai, Ghosh, Bineet, Aktar, Sharmin, Yang, Lei, Sheng, Yi, Jiang, Weiwen, Hu, Jingtong, Duggirala, Parasara Sridhar, Chakraborty, Samarjit

المصدر: 2024 ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS)

الاتاحة: http://dx.doi.org/10.1109/iccps61052.2024.00040
http://xplorestaging.ieee.org/ielx8/10571589/10571610/10571642.pdf?arnumber=10571642

المؤلفون: Geretti, Luca, Alexandre Dit Sandretto, Julien, Althoff, Matthias, Benet, Luis, Collins, Pieter, Duggirala, Parasara Sridhar, Forets, Marcelo, Kim, Edward, Mitsch, Stefan, Schilling, Christian, Wetzlinger, Mark

المساهمون: Frehse, Goran, Althoff, Matthias, Schoitsch, Erwin, Guiochet, Jeremie

المصدر: Geretti , L , Alexandre Dit Sandretto , J , Althoff , M , Benet , L , Collins , P , Duggirala , P S , Forets , M , Kim , E , Mitsch , S , Schilling , C & Wetzlinger , M 2022 , ARCH-COMP22 category report: Continuous and hybrid systems with nonlinear dynamics . in G Frehse , M Althoff , E Schoitsch & J Guiochet (eds) , 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22) . EasyChair , EPiC Series in Computing , vol. 90 , pp. 58-85 , ....

الاتاحة: https://vbn.aau.dk/da/publications/7b2bc7c4-95bb-487b-a2f4-ee56118e8e5a
https://doi.org/10.29007/fnzc

المؤلفون: Xu, Shengjie, Ghosh, Bineet, Hobbs, Clara, Fraccaroli, Enrico, Duggirala, Parasara Sridhar, Chakraborty, Samarjit

المساهمون: Xu, Shengjie, Ghosh, Bineet, Hobbs, Clara, Fraccaroli, Enrico, Duggirala, Parasara Sridhar, Chakraborty, Samarjit

مصطلحات موضوعية: Statistical Approach, Schedule Synthesis, Cyber-Physical Systems

وصف الملف: ELETTRONICO

Relation: info:eu-repo/semantics/altIdentifier/isbn/9783031453281; ispartofbook:Lecture Notes in Computer Science; International Symposium on Automated Technology for Verification and Analysis; firstpage:312; lastpage:333; numberofpages:22; https://hdl.handle.net/11562/1133851; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85176001382

الاتاحة: https://hdl.handle.net/11562/1133851
https://doi.org/10.1007/978-3-031-45329-8_15

المؤلفون: Geretti, Luca, Alexandre dit Sandretto, Julien, Althoff, Matthias, Benet, Luis, Chapoutot, Alexandre, Collins, Pieter, Duggirala, Parasara Sridhar, Forets, Marcelo, Kim, Edward, Linares, Uziel, Sanders, David P., Schilling, Christian, Wetzlinger, Mark

المساهمون: Frehse, Goran, Althoff, Matthias

المصدر: Geretti , L , Alexandre dit Sandretto , J , Althoff , M , Benet , L , Chapoutot , A , Collins , P , Duggirala , P S , Forets , M , Kim , E , Linares , U , Sanders , D P , Schilling , C & Wetzlinger , M 2021 , ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics . in G Frehse & M Althoff (eds) , 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21) . EPiC , EPiC Series in Computing , vol. 80 , ....

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

الاتاحة: https://cris.maastrichtuniversity.nl/en/publications/54c80be5-839f-4ec4-9850-101451cd5300
https://doi.org/10.29007/2jw8
https://cris.maastrichtuniversity.nl/ws/files/78088662/ARCH_COMP21_Category_Report_Continuous_and_Hybrid_Systems_with_Nonlinear_Dynamics.pdf

المؤلفون: Ghosh, Bineet, Hobbs, Clara, Xu, Shengjie, Smith, Don, Anderson, James H., Thiagarajan, P. S., Berg, Benjamin, Duggirala, Parasara Sridhar, Chakraborty, Samarjit

المصدر: Real-Time Systems; Mar2024, Vol. 60 Issue 1, p108-149, 42p

المؤلفون: Goyal, Manish, Duggirala, Parasara Sridhar

المساهمون: National Science Foundation, Air Force Office of Scientific Research

المصدر: Automatica ; volume 117, page 109005 ; ISSN 0005-1098

الاتاحة: http://dx.doi.org/10.1016/j.automatica.2020.109005
https://api.elsevier.com/content/article/PII:S000510982030203X?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S000510982030203X?httpAccept=text/plain

المؤلفون: Ghosh, Bineet, Duggirala, Parasara Sridhar

المساهمون: National Science Foundation

المصدر: ACM Transactions on Embedded Computing Systems ; volume 18, issue 5s, page 1-22 ; ISSN 1539-9087 1558-3465

الاتاحة: http://dx.doi.org/10.1145/3358229
https://dl.acm.org/doi/pdf/10.1145/3358229

المؤلفون: Sheikhi, Sanaz, Kim, Edward, Duggirala, Parasara Sridhar, Bak, Stanley

المصدر: 2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS)

الاتاحة: http://dx.doi.org/10.1109/iccps54341.2022.00009
http://xplorestaging.ieee.org/ielx7/9797459/9797464/09797531.pdf?arnumber=9797531

المؤلفون: Karimi, Abolfazl, Duggirala, Parasara Sridhar

المصدر: 2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS)

الاتاحة: http://dx.doi.org/10.1109/iccps54341.2022.00008
http://xplorestaging.ieee.org/ielx7/9797459/9797464/09797675.pdf?arnumber=9797675