Smolka, Scott A.

Network Lab View Statistics Email Alert RSS Feed

Name Card

Full name Familienname, Vorname
Smolka, Scott A.
 

Own Publications Eigene Publikationen

Results 1-20 of 54 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Brandstätter, Andreas ; Smolka, Scott A. ; Stoller, Scott D. ; Tiwari, Ashish ; Grosu, Radu Flock-Formation Control of Multi-Agent Systems using Imperfect Relative Distance MeasurementsInproceedings Konferenzbeitrag2024
2Brandstatter, Andreas ; Smolka, Scott A. ; Stoller, Scott D. ; Tiwari, Ashish ; Grosu, Radu Multi-Agent Spatial Predictive Control with Application to Drone FlockingInproceedings Konferenzbeitrag2023
3Brandstätter, Andreas ; Smolka, Scott A. ; Stoller, Scott D. ; Tiwari, Ashish ; Grosu, Radu Towards Drone Flocking Using Relative Distance MeasurementsInproceedings Konferenzbeitrag 17-Oct-2022
4Grünbacher, Sophie ; Hasani, Ramin ; Lechner, Mathias ; Cyranka, Jacek ; Smolka, Scott A. ; Grosu, Radu On The Verification of Neural ODEs with Stochastic GuaranteesKonferenzbeitrag Inproceedings2021
5Usama, Muhammad ; Stoller, Scott D. ; Grosu, Radu ; Roy, Shouvik ; Damare, Amol ; Smolka, Scott A. A Distributed Simplex Architecture for Multi-agent SystemsKonferenzbeitrag Inproceedings 2021
6Roy, Shouvik ; Usama, Muhammad ; Grosu, Radu ; Smolka, Scott A. ; Stoller, Scott D. Distributed Control for Flocking Maneuvers via Acceleration-Weighted NeighborhoodingKonferenzbeitrag Inproceedings 2021
7Mehmood, Usama ; Stoller, Scott D. ; Grosu, Radu ; Smolka, Scott A. Collision-Free 3D Flocking Using the Distributed Simplex ArchitectureBuchbeitrag Book Contribution 2021
8Grosu, Radu ; Lukina, Anna ; Smolka, Scott A. ; Tiwari, Ashish ; Varadarajan, Vasudha ; Wang, Xingfang V-Formation via Model Predictive ControlPreprint Preprint2020
9Roy, Shouvik ; Mehmood, Usama ; Grosu, Radu ; Smolka, Scott A. ; Stoller, Scott D. ; Tiwari, Ashish Learning Distributed Controllers for V-FormationPreprint Preprint2020
10Gruenbacher, Sophie ; Cyranka, Jacek ; Lechner, Mathias ; Islam, Md. Ariful ; Smolka, Scott A. ; Grosu, Radu Lagrangian Reachtubes: The Next GenerationKonferenzbeitrag Inproceedings2020
11Grünbacher, Sophie ; Cyranka, Jacek ; Lechner, Mathias ; Islam, Ariful ; Smolka, Scott A. ; Grosu, Radu Lagrangian Reachtubes: The Next GenerationPreprint Preprint2020
12Grünbacher, Sophie ; Hasani, Ramin ; Lechner, Mathias ; Cyranka, Jacek ; Smolka, Scott A. ; Grosu, Radu On The Verification of Neural ODEs with Stochastic GuaranteesPreprint Preprint2020
13Phan, Dung ; Grosu, Radu ; Jansen, Nils ; Paoletti, Nicola ; Smolka, Scott A. ; Stoller, Scott D. Neural simplex architectureKonferenzbeitrag Inproceedings2020
14Mehmood, Usama ; Roy, Shouvik ; Grosu, Radu ; Smolka, Scott A. ; Stoller, Scott D. ; Tiwari, Ashish Neural Flocking: MPC-based Supervised Learning of Flocking ControllersKonferenzbeitrag Inproceedings2020
15Shmarov, Fedor ; Soudjani, Sadegh ; Paoletti, Nicola ; Bartocci, Ezio ; Lin, Shan ; Smolka, Scott A. ; Zuliani, Paolo Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear SystemsArtikel Article 2020
16Islam, Md. Ariful ; Cleaveland, Rance ; Fenton, Flavio H. ; Grosu, Radu ; Jones, Paul L. ; Smolka, Scott A. Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternansArtikel Article 18-Apr-2019
17Legay, Axel ; Lukina, Anna ; Traonouez, Louis Marie ; Yang, Junxing ; Smolka, Scott A. ; Grosu, Radu Statistical model checkingBuchbeitrag Book Contribution2019
18Abbas, Houssam ; Rodionova, Alena ; Mamouras, Konstantinos ; Bartocci, Ezio ; Smolka, Scott A. ; Grosu, Radu Quantitative Regular Expressions for Arrhythmia DetectionArtikel Article 2019
19Roy, Shouvik ; Mehmood, Usama ; Grosu, Radu ; Smolka, Scott A. ; Stoller, Scott D. ; Tiwari, Ashish Neural Flocking: MPC-based Supervised Learning of Flocking ControllersPreprint Preprint2019
20Phan, Dung ; Paoletti, Nicola ; Grosu, Radu ; Jansen, Nils ; Smolka, Scott A. ; Stoller, Scott D. Neural Simplex ArchitecturePreprint Preprint2019