Name Card

Full name Familienname, Vorname
Lukina, Anna
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Grosu, Radu ; Lukina, Anna ; Smolka, Scott A. ; Tiwari, Ashish ; Varadarajan, Vasudha ; Wang, Xingfang V-Formation via Model Predictive ControlPreprint Preprint2020
2Lukina, Anna ; Tiwari, Ashish ; Smolka, Scott A. ; Grosu, Radu Distributed adaptive-neighborhood control for stochastic reachability in multi-agent systemsKonferenzbeitrag Inproceedings2019
3Legay, Axel ; Lukina, Anna ; Traonouez, Louis Marie ; Yang, Junxing ; Smolka, Scott A. ; Grosu, Radu Statistical model checkingBuchbeitrag Book Contribution2019
4Lukina, Anna ; Kumar, Arjun ; Schmittle, Matt ; Singh, Abhijeet ; Das, Jnaneshwar ; Rees, Stephen ; Buskirk, Christopher P. ; Sztipanovits, Janos ; Grosu, Radu ; Kumar, Vijay Formation Control and Persistent Monitoring in the OpenUAV Swarm Simulator on the NSF CPS-VOKonferenzbeitrag Inproceedings2018
5Lukina, Anna ; Tiwari, Ashish ; Smolka, Scott A. ; Esterle, Lukas ; Yang, Junxing ; Grosu, Radu Resilient Control and Safety for Cyber-Physical SystemsKonferenzbeitrag Inproceedings2018
6Schmittle, Matt ; Lukina, Anna ; Vacek, Lukas ; Das, Jnaneshwar ; Buskirk, Christopher P. ; Rees, Stephen ; Sztipanovits, Janos ; Grosu, Radu ; Kumar, Vijay OpenUAV: A UAV Testbed for the CPS and Robotics CommunityKonferenzbeitrag Inproceedings2018
7Lukina Anna - 2018 - Adaptive optimization framework for verification and...pdf.jpgLukina, Anna Adaptive optimization framework for verification and control of cyber-physical systemsThesis Hochschulschrift 2018
8Lukina, Anna ; Esterle, Lukas ; Hirsch, Christian ; Bartocci, Ezio ; Yang, Junxing ; Tiwari, Ashish ; Smolka, Scott A. ; Grosu, Radu ARES: Adaptive Receding-Horizon Synthesis of Optimal PlansKonferenzbeitrag Inproceedings 2017
9Tiwari, Ashish ; Smolka, Scott A. ; Esterle, Lukas ; Lukina, Anna ; Yang, Junxing ; Grosu, Radu Attacking the V: On the Resiliency of Adaptive-Horizon MPCKonferenzbeitrag Inproceedings 2017
10Kalajdzic, Kenan ; Jegourel, Cyrille ; Legay, Axel ; Bartocci, Ezio ; Lukina, Anna ; Smolka, Scott A. ; Grosu, Radu Feedback Control for Statistical Model Checking of Cyber-Physical SystemsKonferenzbeitrag Inproceedings 2016