Artikel mit Open-Access-Mandaten - Scott A. SmolkaWeitere Informationen
Nicht verfügbar: 2
Computing compositional proofs of input-to-output stability using SOS optimization and δ-decidability
A Murthy, MA Islam, SA Smolka, R Grosu
Nonlinear Analysis: Hybrid Systems 23, 272-286, 2017
Mandate: US National Science Foundation, US Department of Defense
Flock-Formation Control of Multi-Agent Systems using Imperfect Relative Distance Measurements
A Brandstätter, SA Smolka, SD Stoller, A Tiwari, R Grosu
2024 IEEE International Conference on Robotics and Automation (ICRA), 12193 …, 2024
Mandate: European Commission
Verfügbar: 54
Toward real-time simulation of cardiac dynamics
E Bartocci, EM Cherry, J Glimm, R Grosu, SA Smolka, FH Fenton
Proceedings of the 9th International Conference on Computational Methods in …, 2011
Mandate: US National Institutes of Health
Neural simplex architecture
DT Phan, R Grosu, N Jansen, N Paoletti, SA Smolka, SD Stoller
NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field …, 2020
Mandate: US National Science Foundation, US Department of Defense, Fonds zur …
A component-based simplex architecture for high-assurance cyber-physical systems
D Phan, J Yang, M Clark, R Grosu, J Schierman, S Smolka, S Stoller
2017 17th International Conference on Application of Concurrency to System …, 2017
Mandate: US National Science Foundation, US Department of Defense
Neural predictive monitoring
L Bortolussi, F Cairoli, N Paoletti, SA Smolka, SD Stoller
Runtime Verification: 19th International Conference, RV 2019, Porto …, 2019
Mandate: US National Science Foundation
On the verification of neural odes with stochastic guarantees
S Grunbacher, R Hasani, M Lechner, J Cyranka, SA Smolka, R Grosu
Proceedings of the AAAI Conference on Artificial Intelligence 35 (13), 11525 …, 2021
Mandate: US National Science Foundation, Fonds zur Förderung der wissenschaftlichen …
Feedback control for statistical model checking of cyber-physical systems
K Kalajdzic, C Jégourel, A Lukina, E Bartocci, A Legay, SA Smolka, ...
Leveraging Applications of Formal Methods, Verification and Validation …, 2016
Mandate: Fonds zur Förderung der wissenschaftlichen Forschung
Gotube: Scalable statistical verification of continuous-depth models
SA Gruenbacher, M Lechner, R Hasani, D Rus, TA Henzinger, SA Smolka, ...
Proceedings of the AAAI Conference on Artificial Intelligence 36 (6), 6755-6764, 2022
Mandate: US National Science Foundation, Fonds zur Förderung der wissenschaftlichen …
Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles
D Phan, J Yang, R Grosu, SA Smolka, SD Stoller
Formal Methods in System Design 51, 62-86, 2017
Mandate: US National Science Foundation, US Department of Defense
Data-driven robust control for a closed-loop artificial pancreas
N Paoletti, KS Liu, H Chen, SA Smolka, S Lin
IEEE/ACM transactions on computational biology and bioinformatics 17 (6 …, 2019
Mandate: US National Science Foundation, US Department of Defense
Neural state classification for hybrid systems
D Phan, N Paoletti, T Zhang, R Grosu, SA Smolka, SD Stoller
Proceedings of the Fifth International Workshop on Symbolic-Numeric Methods …, 2019
Mandate: US National Science Foundation, US Department of Defense, Fonds zur …
Data-driven robust control for type 1 diabetes under meal and exercise uncertainties
N Paoletti, KS Liu, SA Smolka, S Lin
Computational Methods in Systems Biology: 15th International Conference …, 2017
Mandate: US National Science Foundation, US Department of Defense
ARES: adaptive receding-horizon synthesis of optimal plans
A Lukina, L Esterle, C Hirsch, E Bartocci, J Yang, A Tiwari, SA Smolka, ...
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
Mandate: US National Science Foundation, Fonds zur Förderung der wissenschaftlichen …
Declarative vs rule-based control for flocking dynamics
U Mehmood, N Paoletti, D Phan, R Grosu, S Lin, SD Stoller, A Tiwari, ...
Proceedings of the 33rd annual ACM symposium on applied computing, 816-823, 2018
Mandate: US National Science Foundation, US Department of Defense, Fonds zur …
Love thy neighbor: V-formation as a problem of model predictive control
J Yang, R Grosu, SA Smolka, A Tiwari
27th international conference on concurrency theory (concur 2016), 2016
Mandate: US National Science Foundation
Quantitative regular expressions for arrhythmia detection algorithms
H Abbas, A Rodionova, E Bartocci, SA Smolka, R Grosu
Computational Methods in Systems Biology: 15th International Conference …, 2017
Mandate: US National Science Foundation, US Department of Defense, Fonds zur …
Quantitative regular expressions for arrhythmia detection
H Abbas, A Rodionova, K Mamouras, E Bartocci, SA Smolka, R Grosu
IEEE/ACM Transactions on Computational Biology and Bioinformatics 16 (5 …, 2018
Mandate: US National Science Foundation, US Department of Defense, Fonds zur …
Neural predictive monitoring and a comparison of frequentist and Bayesian approaches
L Bortolussi, F Cairoli, N Paoletti, SA Smolka, SD Stoller
International Journal on Software Tools for Technology Transfer 23 (4), 615-640, 2021
Mandate: US National Science Foundation, US Department of Defense, Deutsche …
Committed moving horizon estimation for meal detection and estimation in type 1 diabetes
H Chen, N Paoletti, SA Smolka, S Lin
2019 american control conference (acc), 4765-4772, 2019
Mandate: US National Science Foundation
Angaben zur Publikation und Finanzierung werden automatisch von einem Computerprogramm ermittelt