CSL@Vanderbilt
  • About
  • Publications
  • News
  • Projects
  • People
ESC

Searching...

No results found

↑↓ Navigate ↵ Select
Powered by Hugo Blox
  • Publications
    • Scalable analysis of stop-and-go waves: Representation, measurements and insights
    • A Safety-Driven Interpretable Model for Vehicle Control With Impact on Traffic
    • Can control barrier functions keep automated vehicles safe in live freeway traffic?
    • Combining LLMs with a Logic-Based Framework to Explain MCTS
    • Design, Preparation, and Execution of the 100-AV Field Test for the CIRCLES Consortium: Methodology and Implementation of the Largest Mobile Traffic Control Experiment to Date
    • Enabling Analysis and Visualization of Transportation Big Data
    • Estimation of Kinematic Motion from Dashcam Footage
    • Hierarchical speed planner for automated vehicles: A framework for Lagrangian variable speed limit in mixed-autonomy traffic
    • High-Level Scenario Management For Parallel Autonomous Vehicle Simulation
    • Human-In-The-Loop Classification of Adaptive Cruise Control at a Freeway Scale
    • Incorporating Ephemeral Traffic Waves in A Data-Driven Framework for Microsimulation in CARLA
    • Large language models for traffic and transportation research: Methodologies, state of the art, and future opportunities
    • Modeling, Monitoring, and Controlling Road Traffic Using Vehicles to Sense and Act
    • OpenTwinMap: An Open-Source Digital Twin Generator for Urban Autonomous Driving
    • Reinforcement Learning-Based Oscillation Dampening: Scaling Up Single-Agent Reinforcement Learning Algorithms to a 100-Autonomous-Vehicle Highway Field Operational Test
    • Robustness verification for knowledge-based logic of risky driving scenes
    • Traffic Control via Connected and Automated Vehicles (CAVs): An Open-Road Field Experiment with 100 CAVs
    • Traffic Smoothing Using Explicit Local Controllers: Experimental Evidence for Dissipating Stop-and-go Waves with a Single Automated Vehicle in Dense Traffic
    • V2X-Enabled Communication for Traffic Operations via ROS
    • Visual Modeling of ROS Launch Files
    • A Domain-Specific Modeling Environment Applied to the Design of an Embedded Human System
    • A Middle Way to Traffic Enlightenment
    • Automobile Localization with Commodity Sensors
    • From Sim to Real: A Pipeline for Training and Deploying Traffic Smoothing Cruise Controllers
    • Fundamental Limitations in Domain-Specific Language Evolution
    • Improving dynamic wireless charging system performance for electric vehicles through variable speed limit control integration
    • Interpretable Finite State Machine Controller: A Case Study on Lane Merge Yield Mode
    • Libpanda Apps: Managing the Deployment and Reuse of a Cyber-Physical System
    • Modifying Adaptive Cruise Control Systems for String Stable Stop-and-Go Wave Control
    • Reinforcement Learning with Communication Latency with Application to Stop-and-Go Wave Dissipation
    • So you think you can track?
    • Stop-and-go waves reconstruction via iterative refinement
    • TDOT RDS Data Quality Assurance and High-Resolution Content Enhancement
    • Using Automated Vehicle Data as a Fitness Tracker for Sustainability
    • Analysis of a Runtime Data Sharing Architecture over LTE for a Heterogeneous CAV Fleet
    • Approaches for Synthesis and Deployment of Controller Models on Automated Vehicles for Car-following in Mixed Autonomy
    • Enabling Mixed Autonomy Traffic Control
    • Middleware for a Heterogeneous CAV Fleet
    • Models, Architectures, and Analysis for Computationally Aware CPS
    • Parameter Estimation for Decoding Sensor Signals
    • Prototyping Vehicle Control Applications Using the CAT Vehicle Simulator
    • Runtime Monitoring of Accidents in Driving Recordings with Multi-type Logic in Empirical Models
    • SAILing CAVs: Speed-Adaptive Infrastructure-Linked Connected and Automated Vehicles
    • Set-valued model predictive control
    • WiP Abstract: Edge-Based Privacy of Naturalistic Driving Data Collection
    • A Holistic Approach to the Energy-Efficient Smoothing of Traffic via Autonomous Vehicles
    • Canclassify: Automated decoding and labeling of CAN bus signals
    • Data from the Development Evolution of a Vehicle for Custom Control
    • Experimental testing of a control barrier function on an automated vehicle in live multi-lane traffic
    • Intelligent Structuring and Semantic Mapping of Dash Camera Footage and CAN Bus Data
    • Medium-scale to large-scale implementation of cyber-physical human experiments in live traffic
    • Model-based Design of NEMA-Compliant Dual-ring-barrier Traffic Signal Controller
    • Repeatable & Scalable Multi-Vehicle Simulation with Offloaded Dynamics using Federated Modeling
    • Semantic Tagging of CAN and Dash Camera Data from Naturalistic Drives
    • Strym: A Python Package for Real-time CAN Data Logging, Analysis and Visualization to Work with USB-CAN Interface
    • CAN coach: vehicular control through human cyber-physical systems
    • Challenges in set-valued model-predictive control
    • Compromised ACC vehicles can degrade current mixed-autonomy traffic performance while remaining stealthy against detection
    • From CAN to ROS: A Monitoring and Data Recording Bridge
    • Integrated Framework of Vehicle Dynamics, Instabilities, Energy Models, and Sparse Flow Smoothing Controllers
    • Libpanda: A High Performance Library for Vehicle Data Collection
    • Lightweight LSTM for CAN signal decoding
    • Reachability Analysis for FollowerStopper: Safety Analysis and Experimental Results
    • Safer adaptive cruise control for traffic wave dampening
    • Are commercially implemented adaptive cruise control systems string stable?
    • Automated Model-based Optimization of Data-Adaptable Embedded Systems
    • Modeling Human Car-Following Behavior from Demonstration with Recurrent Neural Networks
    • Programming the Kennedy Receiver for Capacity Maximization versus Minimizing One-shot Error Probability
    • Safety and Stability Analysis of the FollowerStopper Traffic Wave Dampening Controller (Late-Breaking Poster)
    • A Meta-Metamodel for Dynamic Constraint Feedback in Modeling Languages
    • Autonomous vehicles: From vehicular control to traffic control
    • DSM 2019: Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling
    • Feedback Control Algorithms for the Dissipation of Traffic Waves with Autonomous Vehicles
    • Model-based engineering with application to autonomy
    • Quantifying air quality benefits resulting from few autonomous vehicles stabilizing traffic
    • Real-time distance estimation and filtering of vehicle headways for smoothing of traffic waves
    • WiP Abstract: String stability of commercial adaptive cruise control vehicles
    • A LiDAR Error Model for Cooperative Driving Simulations
    • Dissipation of Emergent Traffic Waves in Stop-and-Go Traffic Using a Supervisory Controller
    • Dissipation of stop-and-go waves via control of autonomous vehicles: Field experiments
    • The Arizona Ring Experiments Dataset (ARED)
    • The CAT Vehicle Testbed: A Simulator with Hardware in the Loop for Autonomous Vehicle Applications
    • Tracking vehicle trajectories and fuel consumption in oscillatory traffic
    • Controlling for Unsafe Events in Dense Traffic Through Autonomous Vehicles: Invited Talk Abstract
    • Fuzzy Control of an Autonomous Car using a Smart Phone
    • Model Predictive Control for Space Missions
    • Sufficient conditions for asymptotic stability and feedback control of set dynamical systems
    • Task Transition Scheduling for Data-Adaptable Systems
    • Task Transition Scheduling for Data-Adaptable Systems
    • A Safe Autonomous Vehicle Trajectory Domain Specific Modeling Language For Non-Expert Development
    • Computationally-Aware Switching Criteria for Hybrid Model Predictive Control Of Cyber-Physical Systems
    • Dampening traffic waves with autonomous vehicles
    • Detectability and Invariance Properties for Set Dynamical Systems
    • Model-based Fuzzy Logic Classifier Synthesis for Optimization of Data-Adaptable Embedded Systems
    • Model-driven Optimization of Data-Adaptable Embedded Systems
    • Modern Control Systems Interactive eText (video materials)
    • Power Efficient Vehicular Ad Hoc Networks
    • Robust Control of Autonomous Vehicle Trajectories
    • WiP Abstract: Stabilizing Traffic with a Single Autonomous Vehicle
    • A Hybrid Model Predictive Controller for Path Planning and Path Following
    • Adaptive Multifactor Routing with Constrained Data Sets
    • Computationally-Aware Control of Autonomous Vehicles: A Hybrid Model Predictive Control Approach
    • DSM 2015: Proceedings of the Workshop on Domain-Specific Modeling
    • Experience Report: Constraint-based Modeling of Autonomous Vehicle Trajectories
    • Intersection Management via the Opportunistic Organization of Platoons by Route
    • A Closed-loop Model-based Design Approach Based On Automatic Verification and Transformation
    • A Data-Driven Approach for System Approximation and Set Point Optimization, with a Focus in HVAC Systems
    • A Data-Driven Linear Approximation of HVAC Utilization for Predictive Control and Optimization
    • A Heterogeneity Based Method to Identify Major Variability Components
    • A Hybrid Controller for Autonomous Vehicle Lane Changing with Epsilon Dragging
    • A Methodology for Mending Dynamic Constraint Violations in Cyber Physical Systems By Generating Model Transformations
    • A Mobile Interface designed for the Safety Verification of Autonomous Vehicle Trajectories
    • A Modular Framework to Enable Rapid Evaluation and Exploration of Energy Management Methods in Smart Home Platforms
    • A symbolic simulator for hybrid equations
    • Automatic Verification of Dynamic Constraints in LTI Control Systems Through Model Transformations
    • Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems
    • Motorized mobility scooters: The Use of Training/Intervention and Technology for Improving Driving Skills in Aging Adults - A Mini-Review
    • Design Validation of Multi-Mode Systems
    • Efficient Reconfiguration Methods to Enable Rapid Deployment of Runtime Reconfigurable Systems
    • Generating a ROS/JAUS Bridge for an Autonomous Ground Vehicle
    • How You Can Learn to Stop Worrying and Love Reconfigurable Embedded Systems: A Tutorial
    • Mobile Device Software: Model-Based Architectures and Examples
    • Model Based Development with the Skeleton Design Method
    • Model-Based Software Synthesis for Self-Reconfigurable Sensor Network in Water Monitoring
    • Modeling Autonomous Systems
    • Runtime Hardware/Software Task Transition Scheduling for Runtime-Adaptable Embedded Systems
    • System Throughput Optimization and Runtime Communication Middleware Supporting Dynamic Software-Hardware Task Migration in Data Adaptable Embedded Systems
    • TBD
    • A generic in-place transformation-based approach to structured model co-evolution
    • A Passenger Comfort Controller for an Autonomous Ground Vehicle
    • An Overseer Control Methodology for Data Adaptable Embedded Systems
    • Automated Software Generation and Hardware Coprocessor Synthesis for Data-Adaptable Reconfigurable Systems
    • Identifying key components of variability using Energy based Control
    • ME '12: Proceedings of the 6th International Workshop on Models and Evolution
    • Metamodel-Based Metrics for Complexity of Using a DSML
    • Model-Based Configuration of a Heterogeneous Human-in-the-loop Command and Control Simulation Environment
    • Modeling and Code Generation with Autonomous Vehicles
    • MPM '12: Proceedings of the 6th International Workshop on Multi-Paradigm Modeling
    • On the Extraction and Analysis of a Social Network with Partial Organizational Observation
    • Proceedings of the 12th Workshop on Domain-specific Modeling
    • Reachability Calculations for Vehicle Safety during Manned/Unmanned Vehicle Interaction
    • Summary of the 6th International Workshop on Multi-Paradigm Modeling (MPM'12)
    • Switched and Symmetric Pursuit/Evasion Games With Online Model Predictive Control
    • The 12th Workshop on Domain-specific Modeling
    • A Domain-Specific Modeling Approach to the Auto-Generation of VHDL Core Wrappers
    • autoVHDL: a domain-specific modeling language for the auto-generation of VHDL core wrappers
    • Constrained data acquisition for mobile citizen science applications
    • Hardware/Software Communication Middleware for Data Adaptable Embedded Systems
    • Message Modeling for the Joint Architecture for Unmanned Systems (JAUS)
    • Model Transformation by Domain-Specific Models
    • Modeling of Data Adaptable Reconfigurable Embedded Systems
    • Modeling the Messaging and Component Interfaces of Autonomous Systems
    • On the Mitigation of MultiCore-Induced Behavioral Deviations of an Autonomous Ground Vehicle
    • Proceedings of the 11th Workshop on Domain-Specific Modeling
    • Proceedings of the 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems
    • Provable Detection Of Moving Targets With Reliable Sensors
    • Simplification of Semantically-Rich Model Transformations Through Generated Transformation Blocks
    • Teaching students to learn to learn mobile phone programming
    • The 11th Workshop on Domain-specific Modeling
    • Time-Triggered Buffers for Event-Based Middleware Systems
    • Toward Ultra High Speed Locomotors: Design and test of a cheetah robot hind limb
    • 10th Workshop on Domain-Specific Modeling (DSM'10)
    • Analysis of a metamodel to estimate complexity of using a domain-specific language
    • Automatic Optimization of Models Using Metamodels
    • Citizen Science in Support of Vegetation Index and Phenology Research
    • Metamodelling: state of the art and research challenges
    • Model Evolution and Management
    • Modeling Languages Applied to Decision Controllers for Embedded Human Systems
    • Simulations and Flight Experiments of Transition Maneuvers of a VTOL Micro Air Vehicle
    • UAV Search : Maximizing Target Acquisition
    • 9th OOPSLA Workshop on Domain-Specific Modeling (DSM'09)
    • A Community Report of the 2008 High Confidence Transportation Cyber-Physical Systems (HCTCPS) Workshop
    • Automatic Control of VTOL Micro Air Vehicle During Transition Maneuver
    • Fundamental Limitations in Domain-Specific Language Evolution
    • Guest Editors' Introduction: What Kinds of Nails Need a Domain-Specific Hammer?
    • Model-Based Autosynthesis of Time-Triggered Buffers for Event-Based Middleware Systems
    • Model-based design: a report from the trenches of the DARPA Urban Challenge
    • Synthesizing Executable Simulations from Structural Models of Component-Based Systems
    • UAV Search: Maximising Target Acquisition
    • Using Integrative Models in an Advanced Heterogeneous System Simulation
    • 8th OOPSLA Workshop on Domain-Specific Modeling (DSM'08)
    • Reachability Calculations for Automated Aerial Refueling
    • Recovering Models of a Four-Wheel Vehicle Using Vehicular System Data
    • Transitioning Control and Sensing Technologies from Fully-autonomous Driving to Driver Assistance Systems
    • Using Integrative Modeling for Advanced Heterogeneous System Simulation
    • 7th OOPSLA Workshop on Domain-Specific Modeling (DSM'07)
    • DARPA Urban Challenge Technical Paper: Sydney-Berkeley Driving Team
    • Domain-Specific Modeling
    • Transitioning Intelligence to Embedded Platforms
    • 6th OOPSLA Workshop on Domain-Specific Modeling (DSM'06)
    • Model Based Systems Engineering
    • 5th OOPSLA Workshop on Domain-Specific Modeling (DSM'05)
    • Computing Inverse MEG Signals in the Brain
    • Deciding to Land a UAV Safely in Real Time
    • Fault Tolerant Data Flow Modeling Using the Generic Modeling Environment
    • Generative Components for Hybrid Systems Tools
    • Implementing and Testing a Nonlinear Model Predictive Tracking Controller for Aerial Pursuit Evasion Games on a Fixed Wing Aircraft
    • Information Technology for Assisted Living at Home: Building a Wireless Infrastructure for Assisted Living
    • On the Partitioning of Syntax and Semantics For Hybrid Systems Tools
    • Online Safety Calculations for Glideslope Recapture
    • User's Guide to the PublicationsDatabase
    • Using smart sensors and a camera phone to detect and verify the fall of elderly persons
    • Using the Hybrid Systems Interchange Format to Input Design Models to Verification & Validation Tools
    • 4th OOPSLA Workshop on Domain-Specific Modeling (DSM'04)
    • A Domain-Specific Visual Language for Domain Model Evolution
    • A Paradigm for Teaching Modeling Environment Design
    • A Visual Language for Describing Instruction Sets and Generating Decoders
    • Encoding Aerial Pursuit/Evasion Games with Fixed Wing Aircraft into a Nonlinear Model Predictive Tracking Controller
    • Forgetting UML (A Useful Guide to Formal Modeling)
    • Generative Components for Hybrid Systems Tools
    • Improving CBS Tool Development with Technological Spaces
    • Model-Integrated Computing
    • Pursuit/Evasion of Fixed-wing Aircraft through Model-Predictive Control
    • Toward Design Parameterization Support for Model Predictive Control
    • ANEMIC: Automatic Interface Enabler for Model Integrated Computing
    • ANEMIC: Automatic Interface Enabler for Model Integrated Computing
    • Domain Translation Using Graph Transformations
    • Managing Intent: The Driving Forces of Model Transformations
    • Metamodel Based Model Migration
    • Metamodel Driven Model Migration
    • Model Migration through Visual Modeling
    • On the Use of Graph Transformation in the Formal Specification of Model Interpreters
    • Computer-aided aircraft maintenance scheduling
    • Domain Evolution in Visual Languages Using Graph Transformations
    • Generative Programming via Graph Transformations in the Model-Driven Architecture
    • Composing Domain-Specific Design Environments
    • GME 2000 Users Manual (v2.0)
    • The New Metamodeling Generation
    • Model Integrated Program Synthesis of Agent Negotiation Protocols
    • Modeling Agent Negotiation
    • Towards a Standard for Model Specification and Storage
  • Projects
    • Leveraging Advanced Data to Deliver Multimodal Safety (LADDMS)
    • I-24 MOTION Operations
    • Rapid Development and Implementation of AI Signal Control Technology in Tennessee
    • CPS: Offline Reinforcement Learning for Cyber-Physical Systems
    • PATH-TN: Partnership for AI-driven Multimodal Transportation Services Integration in Tennessee Cities
    • PFI-TT: Local Sensing on Automated Vehicles
    • US-Taiwan Workshop on Smart and Connected Communities, Agriculture, and Cyber-Physical Systems Research
    • CPS: Frontier: Computation-Aware Algorithmic Design for Cyber-Physical Systems
    • CPS: Coordinating Actors via Learning for Lagrangian Systems (CALLS)
    • Cyber-Physical Systems Virtual Organization: CPS Community and the Data Revolution
    • CIRCLES: Congestion Impacts Reduction via CAV-in-the-loop Lagrangian Energy Smoothing
    • Computationally Aware Cyber-Physical Systems
    • Control of Vehicular Traffic Flow via Low Density Autonomous Vehicles
    • Workshop for Aspiring PIs in Cyber-Physical Systems
    • CAREER: Domain-Specific Modeling Techniques for Cyber-Physical Systems
    • NSF REU Site: Cognitive and Autonomous Test Vehicle (CATVehicle)
    • NSF DARES: Data-Adaptable Reconfigurable Embedded Systems
    • Mobile
    • NSF I-Corps:A Cost-Limited Home Thermostat (CLD/HT)
    • Modeling of Embedded Human Systems
    • STOMA II: Subspace Techniques for Obfuscating Matrix-based Algorithms
    • Command and Control (C2) Wind Tunnel: High-Level Autonomy for Multi-Rotorcraft Experiments
    • MultiCore Hardware Experiments in Software Producibility
  • Courses
    • Hugo Blox
      • Getting Started
      • Guide
        • Project Structure
        • Configuration
        • Formatting
          • Embed Media
          • Buttons
          • Callouts
          • Cards
          • Spoilers
          • Steps
      • Reference
        • Customization
        • Internationalization (i18n)
  • News
    • Friendship Fuels Innovation
    • CIRCLES Consortium Receives 2024 IEEE ITSC Institutional Lead Award
    • Tech Talk: Solving Mobility Challenges — The TDOT I-24 MOTION Project
    • AI-Powered Cruise Control Can Stop 'Phantom Traffic Jams' Before They Start
    • Real World Research: Reducing Human-Caused Traffic Jams
    • Road Scholars: Rutgers-Camden Partners on World's Largest Traffic Experiment
    • Massive Traffic Experiment Pits Machine Learning Against 'Phantom' Jams
    • Adaptive Cruise Control Technology Could Ease Phantom Traffic Jams
    • AI-Powered Cruise Control May Pave Way to Fuel Efficiency and Traffic Relief
    • An AI That Lets Cars Communicate Might Reduce Traffic Jams
    • Researchers: AI in Connected Cars Eased Rush Hour Congestion
    • You're a Worse Driver Than a Robot: Research Shows AI Approach to Traffic
    • Massive Traffic Experiment Pits Machine Learning Against 'Phantom' Jams
    • UC Berkeley Researchers Test-Drive New AI Cars
    • Traffic Research Project Turns I-24 Into Driving Lab
    • Bay Area Researchers Behind World's Largest Open-Track Traffic Experiment
    • Driving Innovation: Rutgers-Camden Partners on World's Largest Open-Track Experiment
    • 'An MRI for Traffic:' Open Road Testing Now Live on I-24
    • I-24 Traffic Experiment Using Technology to Solve Traffic Jams
    • World's Largest Traffic Experiment Being Conducted in Nashville Along I-24
    • Traffic Experiment to Launch on I-24 in Nashville
    • World's Largest Open-Track Traffic Experiment to Be Conducted in Nashville Nov. 14-18
    • CIRCLES Consortium Concluded 5-Day Open-Track Study Using I-24 MOTION Testbed
    • CIRCLES Project Expands to Open-Road Testing on I-24
    • Research featured at DC Auto Show
    • Results from experiment on traffic flow
    • Videos featured in Modern Control Systems (13th ed.)
    • Wanted: Young Engineers with Drive
    • CAT Vehicle 2015 Demonstration Success
    • News
    • News
    • News
    • News
    • Cat Vehicle demonstration to President Hart
    • News item
    • Working closely with Wheelhouse, Tech Launch Arizona
    • Sprinkle Honored by Tech Launch Arizona
    • Sprinkle heads NSF CPS Workshop
    • News
    • News
    • News
    • mHealth featured in UA@Work
    • UANews: Former Astronaut to Present UA Student with Scholarship
    • I-Corps Best Team Award
    • AP: Safety is Big Concern for Autonomous Cars
    • Micro Air Vehicle from University of Arizona Takes a First Place Win in Germany
    • News: Domestic drones: Good idea or an invasion of privacy?
    • Dream Jobs 2012: Designing Automation for Acrobats
    • UANews: Industry Helps Students Reanimate Robotic Mine Vehicles
    • UANews: Learning to Learn: We Have and App for That
    • Mobile Citizen Science!
    • Cars that will drive you where you want to go (with video)
    • Asymmetric Thread Reduction and Prediction (ATRAP)
    • 'mHealth' Ties Scientists, Doctors, Patients
    • New media
    • New media
    • New media
    • New media
    • New media
    • New media
    • New media
    • New award
    • New talk
    • New award
    • New award
    • New media
    • New media
    • New talk
    • New honor
    • New media
    • New honor
    • New media
    • New honor
    • New award
    • New media
    • New talk
    • New honor
    • New award
    • New media
    • New honor
    • New media
    • New media
    • New talk
    • New talk
    • New graduate
    • New people
    • New media
    • New talk
    • New media
    • New talk
    • New talk
    • New award
    • New award
    • New award
    • New talk
    • New publication
    • New award
    • New award
    • New talk
    • New talk
    • New media
    • New award
    • New talk
    • ECE 473 573 2008S
    • Multicore Kickoff
    • On BBC1
    • DSM 07
    • CE Group Seminar 2007
    • ECE 373 2007
    • NQE
    • Moved to AZ
    • 2007 CHESS Winter Meeting
    • Moving to AZ
    • HCSSAS Workshop
    • 2006 Chess Review
    • DGC3 Course at Berkeley
    • DGC3 Kickoff
    • SUPERB 2006
    • BEARS 2006
    • BearLand
    • New Website
    • New CSL Website
  • Slides
    • Example Talk: Recent Work
  • Experience
  • Recent & Upcoming Talks
    • Create Beautiful Presentations with Markdown
  • Pages
    • Disabled Login
    • Legal
    • Wordmark
    • Location
    • About
  • About
  • People

Disabled Login

Aug 27, 2013 · 1 min read
page

Login using your NetID

Last updated on Aug 27, 2013
Legal Aug 15, 2013 →

© 2026 Vanderbilt University. This work is licensed under CC BY NC ND 4.0

Made with Hugo Blox. Duplicate this template →