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

Model Integrated Program Synthesis of Agent Negotiation Protocols

Jan 1, 2000·
Jonathan Sprinkle
Jonathan Sprinkle
· 0 min read
Type
Thesis
publications
Last updated on Jan 1, 2000
Jonathan Sprinkle
Authors
Jonathan Sprinkle
Professor and Chair of Computer Science
Professor of Computer Science at Vanderbilt University. Research in cyber-physical systems, autonomous vehicles, and domain-specific modeling.
← The New Metamodeling Generation Jan 1, 2001
Modeling Agent Negotiation Jan 1, 2000 →

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

Made with Hugo Blox. Duplicate this template →