The ISIS 25th Anniversary Celebration poster session will be held on Thursday, September 7 at 4:45 p.m. followed by a reception at 6:00 p.m.
A Reinforcement Learning Approach to Supervisory Control of UAVs for Handling
Wind Disturbances
Austin Coursey, Marcos Quinones-Grueiro, Ibrahim Ahmed, Gautam Biswas
A Testbed to Simulate and Analyze Secure and Resilient Cyber-Physical Systems
William Emfinger, Pranav Srinivas Kumar, Gabor Karsai
AbLECPS: Unmanned Underwater Vehicle example for Assurance based Learning
Enabled Cyber Physical Systems
Daniel Stojcsics, Nagabhushan Mahadevan, Dimitrios Boursinos, Xenofon Koutsoukos, Gabor Karsai
Analysis of Runtime Data Sharing Architecture over LTE for Heterogeneous CAV Fleet
Alex Richardson, Matthew Nice, Matt Bunting, Jonathan W. Lee, Rahul Bhadani, Dan Work, Jonathan Sprinkle
Animal-Borne Acoustic Gunshot Detector
György Kalmár, George Wittemyer, Péter Völgyesi, Henrik B. Rassmussen, Miklós Maróti, Ákos Lédeczi
Auto311: A Confidence-guided Automated System for Non-emergency Calls
Zirong Chen, Xutong Sun, Yuanhe Li, Meiyi Ma
BehaVerify: Verification for Behavior Trees
Serena Serbinowska, Taylor T. Johnson
Bayesian Physics-informed Models for Soft Robotics
Peilun Li, Thomas Beckers
ChimeraPy: Distributed Computing Framework for Multimodal Data Integrations
Eduardo Davalos, Umesh Timalsina, Joyce Fonteles, Caleb Vatral, Nicole Hutchins, Gautam Biswas
Comparison of Data Driven Approaches to System-Level Prognostics
Abel Diaz-Gonzalez, Austin Coursey, Marcos Quinones-Grueiro, Gautam Biswas
Computer Science Frontiers for K-12
Ákos Lédeczi
Cooperative Multi-Agent Reinforcement Learning for Large Scale Variable Speed Limit Control
Yuhang Zhang, Marcos Quinones-Grueiro, William Barbour, Zhiyao Zhang, Joshua Scherer, Gautam Biswas, Daniel Work
DARPA Spectrum Challenges: Building Prize-winning Radios
Team MarmotE
Data-Driven Optimization for Smart Transportation Systems
Abhishek Dubey, Samitha Samaranayake, Aron Laszka, Mina Sartipi, Lillian Ratliff, Michael Wilbur, Sophie Pavia, Rishav Sen, Ayan Mukhopadhyay, Philip Pugliese, Chandra Ward, Paul Speer, Shadi Omidvar, Savannah Ward
Defend Data Poisoning Attacks on Voice Authentication
Ke Li, Cameron Baird, Dr. Dan (Linda) Lin
Domain-Specific Modeling Techniques for Cyber-Physical Systems
Jonathan Sprinkle, MaE BunGng
DREMS: A Toolchain and Platform for Rapid Application Development, Integration, and Deployment of Managed Distributed Real-time Embedded Systems
William Emfinger, Abhishek Dubey, William R. Otte, Aniruddha Gokhale, Gabor Karsai
Exploring Embodied Learning through MMLA: Mapping Movement and Gaze for Insights
Eduardo Davalos Anaya, Joyce Horn Fonteles, Grabriella Anton, Nicole Hutchins, Umesh Timalsina, Noel Enyedy, Gautam Biswas
FedACA: An Adaptive Communication Efficient Asynchronous Framework for Federated Learning
Shuang Zhou, Yuankai Huo, Shunxing Bao, Bennett Landman and Aniruddha Gokhale
The I-24 MOTION Testbed: Open-road testbed for traffic science, control, and CAV experiments
Dan Work, William Barbour, Meredith Cebelak, Matt D’Angelo, Lee Smith, Gergely Zachár, Derek Gloudemans, Yanbing Wang, Junyi Ji
Inferenced Formal Logic Properties Guided Federated Learning
Ziyan An, Meiyi Ma
Integrated Safety Incident Forecasting and Analysis
Yevgeniy Vorobeychik, Gautam Biswas, Abhishek Dubey, Geoffrey Pettett, Ayan Mukhopadhyay
JUNO2: Collaborative Research: STEAM: Secure and Trustworthy Framework for Integrated Energy and Mobility in Smart Connected Communities
Sajal K. Das, Abhishek Dubey, Shameek Bhattacharjee, Hayato Yamana, Keiichi Yasumoto, Hirozumi Yamaguchi, Michael Wilbur, Geoffrey Pettet, Venkat Praveen Madhavarapu
Libpanda: Vehicles as Research Instruments
Matt Bunting, Matthew Nice, Jonathan Sprinkle, Dan Work
MoveOD: A Data Pipeline for Synthesizing Origin-Destination Demand Using
Open-Source Demographic Data
Rishav Sen, Ayan Mukhopadhyay, Abhishek Dubey
Network Analysis Paradigm for Detecting and Mitigating Attacks from Malicious Actors
William Emfinger, Gabor Karsai
NeuroGraph: Benchmarks for Graph Machine Learning in Brain Connectomics
Anwar Said, Roza G. Bayrak, Tyler Derr, Mudassir Shabbir, Daniel Moyer, Catie Chang, Xenofon Koutsoukos
NNV: A Verification Tool for Deep Neural Networks and Learning-Enabled
Cyber-Physical Systems
Diego Manzanas Lopez, Neelanjana Pal, Taylor T Johnson
Open Architecture Software Standards: Future Airborne Capability EnvironmentTM (FACE)
Robert Daniels, Di Yao, Will Banks, Robert Owens, Fred Eisele, Harmon Nine, Joseph Hite, Jason Scott, Ted Bapty
PhysiQ: Off-site Quality Assessment of Exercise in Physical Therapy
Hanchen David Wang, Meiyi Ma
Reinforcement-Learning Based Performance-Aware Power Reduction in Exascale Computing: Strategies for Application-Agnostic Agents
Akhilesh Raj, Swann Perarnau, Aniruddha Gokhale
Resilient Distributed Actor-Critic Algorithms
Chandreyee Bhowmick, Jiani Li, Xenofon Koutsoukos
Resilient Traffic Light Control
Bradley Potteiger, Peter Volgyesi, Eugene Vorobeychik, Aron Laszka, Xenofon Koutsoukos
Runtime Monitoring of Accidents in Driving Recordings with Multi-Type Logic in
Empirical Models
Ziyan An, Xia Wang, Taylor T. Johnson, Jonathan Sprinkle, Meiyi Ma
Symbench: AI-Assisted CPS Design: DARPA Symbiotic Design for Cyber Physical Systems
Peter Volgyesi
Virtual Organizations for Scientific Research
Jonathan Sprinkle, Katie Dey, Stephen Rees