Follow

Papers from 2005

PDF

Approximation Metrics for Discrete and Continuous Systems, Antoine Girard and George J. Pappas

PDF

Information Driven Coordinated Air-Ground Proactive Sensing, Ben Grocholsky, Rahul Swaminathan, James Keller, Vijay Kumar, and George J. Pappas

PDF

Bisimulation relations for dynamical, control, and hybrid systems, Esfandiar Haghverdi, Paulo Tabuada, and George J. Pappas

PDF

End-to-end Application Performance Impact on Scheduler in CDMA-1XRTT Wireless System, Bong Ho Kim, Insup Lee, and Kelvin Chu

PDF

Optimal Fixed and Scalable Energy Management for Wireless Networks, Rahul Mangharam, Sofie Pollin, Bruno Bougard, Ragunathan Rajkumar, Francky Catthoor, Liesbet Van der Perre, and Ingrid Moerman

PDF

Formal Verification and its Impact on the Snooping versus Directory Protocol Debate, Milo Martin

PDF

Optimizing Transmission and Shutdown for Energy-Efficient Real-Time Packet Scheduling in Clustered Ad Hoc Networks, Sofie Pollin, Bruno Bougard, Rahul Mangharam, Francky Catthoor, Ingrid Moerman, Ragunathan Rajkumar, and Liesbet Van der Perre

PDF

Optimizing Transmission and Shutdown for Energy-Efficient Packet Scheduling in Sensor Networks, Sofie Pollin, Bruno Bougard, Rahul Mangharam, Liesbet Van der Perre, Francky Catthoor, Ragunathan Rajkumar, and Ingrid Moerman

PDF

Checking Correctness At Runtime using Real-Time Java, Usa Sammapun, Insup Lee, and Oleg Sokolsky

PDF

RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties, Usa Sammapun, Insup Lee, and Oleg Sokolsky

PDF

Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking, Hyoung Seok Hong, Insup Lee, and Oleg Sokolsky

PDF

Run-Time Checking of Dynamic Properties, Oleg Sokolsky, Usa Sammapun, Insup Lee, and Jesung Kim

PDF

Opportunities and obligations for physical computing systems, John A. Stankovic, Insup Lee, Aloysius Mok, and Raj Rajkumar

PDF

Hierarchical trajectory refinement for a class of nonlinear systems, Paulo Tabuada and George J. Pappas

PDF

Quotients of fully nonlinear control systems, Paulo Tabuada and George J. Pappas

PDF

Controlling Connectivity of Dynamic Graphs, Michael M. Zavlanos and George J. Pappas

Papers from 2004

PDF

Formal Specifications and Analysis of the Computer Assisted Resuscitation Algorithm (CARA) Infusion Pump Control System, Rajeev Alur, David Arney, Elsa L. Gunter, Insup Lee, Jaime Lee, Wonhong Nam, Frederick Pearce, Steve Van Albert, and Jiaxiang Zhou

PDF

Optimal Reachability for Weighted Timed Games, Rajeev Alur, Mikhail Bernadsky, and P. Madhusudan

PDF

A Temporal Logic of Nested Calls and Returns , Rajeev Alur, Kousha Etessami, and P. Madhusudan

PDF

Optimal paths in weighted timed automata, Rajeev Alur, Salvatore La Torre, and George J. Pappas

PDF

Visibly Pushdown Languages, Rajeev Alur and P. Madhusudan

PDF

Decision Problems for Timed Automata : A Survey, Rajeev Alur and Madhusudan Parthasarathy

PDF

Hybrid Modeling and Experimental Cooperative Control of Multiple Unmanned Aerial Vehicles, Selcuk Bayraktar, Georgios E. Fainekos, and George J. Pappas

PDF

Discrete Abstractions for Robot Motion Planning and Control in Polygonal Environments, Calin Belta, Volkan Isler, and George J. Pappas

PDF

Structured Modeling of Concurrent Stochastic Hybrid Systems, Mikhail Bernadsky, Raman Sharykin, and Rajeev Alur

PDF

A Mechanism for Dynamic Coordination of Multiple Robots, Luiz Chaimowicz, R. Vijay Kumar, and Mario F. M. Campos

PDF

Synergies in Feature Localization by Air-Ground Robot Teams, Ben Grocholsky, Selcuk Bayraktar, R. Vijay Kumar, Camillo J. Taylor, and George J. Pappas

PDF

Sound Code Generation from Communicating Hybrid Models, Yerang Hur, Jesung Kim, Insup Lee, and Jin-Young Choi

PDF

Hybrid Control for Visibility-Based Pursuit-Evasion Games, Volkan Isler, Calin Belta, Kostas Daniilidis, and George J. Pappas

PDF

Java-MaC: A Run-time Assurance Approach for Java Programs, Moonjoo Kim, Mahesh Viswanathan, Sampath Kannan, Insup Lee, and Oleg Sokolsky

PDF

Size Matters: Size-based Scheduling for MPEG-4 over Wireless Channels, Rahul Mangharam, Mustafa Demirhan, Ragunathan Rajkumar, and Dipankar Raychaudhuri

PDF

A Model-Based Approach to Integrating Security Policies for Embedded Devices, Michael McDougall, Rajeev Alur, and Carl A. Gunter

PDF

Simulation of Simultaneous Events in Regular Expressions for Run-Time Verification, Usa Sammapun, Arvind Easwaran, Insup Lee, and Oleg Sokolsky

PDF

Compositional Real-Time Scheduling Framework, Insik Shin and Insup Lee

PDF

A Design Approach for Real-Time Embedded Systems with Energy and Code Size Constraints, Insik Shin, Insup Lee, and Sang Lyul Min

PDF

Resource Modeling for Embedded Systems Design, Oleg Sokolsky

PDF

Platform-Independent Autonomy Modeling, Oleg Sokolsky and George J. Pappas

PDF

Bisimilar control affine systems, Paulo Tabuada and George J. Pappas

PDF

Compositional abstractions of hybrid control systems, Paulo Tabuada, George J. Pappas, and Pedro Lima

PDF

Model-Based Testing and Monitoring for Hybrid Embedded Systems, Li Tan, Jesung Kim, Oleg Sokolsky, and Insup Lee

PDF

Specification-Based Testing with Linear Temporal Logic, Li Tan, Oleg Sokolsky, and Insup Lee

PDF

Leader-to-Formation Stability, Herbert G. Tanner, George J. Pappas, and R. Vijay Kumar

PDF

Leader-to-Formation Stability, Herbert G. Tanner, George J. Pappas, and Vijay Kumar

PDF

Variable Reuse for Efficient Image Computation, Zijiang Yang and Rajeev Alur

PDF

Geometric Programming Relaxations for Linear System Reachability, Hakan Yazarel and George J. Pappas

Papers from 2003

PDF

Hierarchical Modeling and Analysis of Embedded Systems, Rajeev Alur, Thao Dang, Joel Esposito, Yerang Hur, Franjo Ivancic, R. Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, and Oleg Sokolsky

PDF

Counter-Example Guided Predicate Abstraction of Hybrid Systems, Rajeev Alur, Thao Dang, and Franjo Invancic

PDF

Progress on Reachability Analysis of Hybrid Systems using Predicate Abstraction, Rajeev Alur, Thao Dang, and Franjo Ivancic

PDF

Generating Embedded Software from Hierarchical Hybrid Models, Rajeev Alur, Franjo Ivancic, Jesung Kim, Insup Lee, and Oleg Sokolsky

PDF

Modular Strategies for Infinite Games on Recursive Graphs, Rajeev Alur, Salvatore La Torre, and P. Madhusudan

PDF

Modular Strategies for Recursive Game Graphs, Rajeev Alur, Salvatore La Torre, and P. Madhusudan

PDF

Playing Games with Boxes and Diamonds, Rajeev Alur, Salvatore La Torre, and P. Madhusudan

PDF

Data Flow Testing as Model Checking, Hyoung Seok Hong, Sung Deok Cha, Insup Lee, Oleg Sokolsky, and Hasan Ural

PDF

Coordination of Groups of Mobile Autonomous Agents Using Nearest Neighbor Rules, Ali Jadbabaie, Jie Lin, and A. Stephen Morse

PDF

Modular Code Generation from Hybrid Automata based on Data Dependency, Jesung Kim and Insup Lee

PDF

Formalizing Java-MaC , Usa Sammapun, Raman Sharykin, Margaret DeLap, Myong Kim, and Stephan A. Zdancewic

PDF

Periodic Resource Model for Compositional Real-Time Guarantees, Insik Shin and Insup Lee

PDF

Modeling and Analysis of Power-Aware Systems, Oleg Sokolsky, Anna Philippou, Insup Lee, and Kyriakos Christou

PDF

Abstractions of Hamiltonian control systems, Paulo Tabuada and George J. Pappas

PDF

Finite Bisimulations of Controllable Linear Systems, Paulo Tabuada and George J. Pappas

PDF

From Discrete Specifications to Hybrid Control, Paulo Tabuada and George J. Pappas

PDF

From Nonlinear to Hamiltonian via Feedback, Paulo Tabuada and George J. Pappas

PDF

Hierarchical Trajectory Generation for a Class of Nonlinear Systems, Paulo Tabuada and George J. Pappas

PDF

Model checking LTL over controllable linear systems is decidable, Paulo Tabuada and George J. Pappas

PDF

Testing and Monitoring Model-based Generated Program, Li Tan, Jesung Kim, and Insup Lee

PDF

Stable Flocking of Mobile Agents, Part I: Fixed Topology, Herbert G. Tanner, Ali Jadbabaie, and George J. Pappas

PDF

Stable Flocking of Mobile Agents, Part II: Dynamic Topology, Herbert G. Tanner, Ali Jadbabaie, and George J. Pappas

PDF

Abstractions of Constrained Linear Systems, Herbert G. Tanner and George J. Pappas

Papers from 2002

PDF

Visual Programming for Modeling and Simulation of Biomolecular Regulatory Networks, Rajeev Alur, Calin Belta, Franjo Ivancic, R. Vijay Kumar, Harvey Rubin, Jonathan Schug, Oleg Sokolsky, and Jonathan Webb

PDF

Modeling and Analyzing Biomolecular Networks, Rajeev Alur, Calin Belta, R. Vijay Kumar, Max L. Mintz, George J. Pappas, Harvey Rubin, and Jonathan Schug

PDF

Modeling and Analyzing Biomolecular Networks, Rajeev Alur, Calin Belta, Vijay Kumar, Max Mintz, George J. Pappas, Harvey Rubin, and Jonathan Schug

PDF

Reachability Analysis of Hybrid Systems via Predicate Abstraction, Rajeev Alur, Thao Dang, and Franjo Ivancic

PDF

A Framework and Architecture for Multirobot Coordination, Rajeev Alur, Aveek J. Das, Joel Esposito, Rafael Fierro, Gregory Grudic, Yerang Hur, R. Vijay Kumar, Insup Lee, James Ostrowski, George J. Pappas, B. Southall, John R. Spletzer, and Camillo J. Taylor

PDF

Exploiting Behavioral Hierarchy for Efficient Model Checking, Rajeev Alur, Michael McDougall, and Zijiang Yang

PDF

Verisim: Formal Analysis of Network Simulations, Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, and Mahesh Viswanathan

PDF

Predictable Programs in Barcodes, Alwyn Goodloe, Michael McDougall, Carl A. Gunter, and Rajeev Alur

PDF

Testing the Electronic Throttle Control, Hyoung Seok Hong, Insup Lee, Na Young Lee, Martin Leucker, and Oleg Sokolsky

PDF

A Temporal Logic Based Theory of Test Coverage and Generation, Hyoung Seok Hong, Insup Lee, Oleg Sokolsky, and Hasan Ural

PDF

Distributed Simulation of Multi-Agent Hybrid Systems, Yerang Hur and Insup Lee

PDF

Computational Analysis of Run-time Monitoring: Fundamentals of Java-MaC, Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, and Mahesh Viswanathan

PDF

Monitoring, Checking, and Steering of Real-Time Systems, Moonjoo Kim, Insup Lee, Usa Sammapun, Jangwoo Shin, and Oleg Sokolsky

PDF

A General Resource Framework for Real-Time Systems, Insup Lee, Anna Philippou, and Oleg Sokolsky

PDF

Formal Modeling and Analysis of Power-Aware Real-Time Systems, Insup Lee, Anna Philippou, and Oleg Sokolsky

PDF

Process Algebraic Modeling and Analysis of Power-Aware Real-Time Systems, Insup Lee, Anna Philippou, and Oleg Sokolsky

PDF

Flying Hot Potatoes, Pradyumna Mishra and George J. Pappas

PDF

Consistent Abstractions of Affine Control Systems, George J. Pappas and Slobodan Simic

PDF

Embedded System Design Framework for Minimizing Code Size and Guaranteeing Real-Time Requirements, Insik Shin, Insup Lee, and Sang Lyul Min

PDF

Bisimilar Control Affine Systems, Paulo Tabuada and George J. Pappas

PDF

Discrete synchronization of hybrid systems, Paulo Tabuada and George J. Pappas

PDF

From Nonlinear to Hamiltonian via Feedback, Paulo Tabuada and George J. Pappas

PDF

Composing Abstractions of Hybrid Systems, Paulo Tabuada, George J. Pappas, and Pedro Lima

PDF

The Effect of Feedback and Feedforward on Formation ISS, Herbert G. Tanner, R. Vijay Kumar, and George J. Pappas

PDF

Input-to-state Stability on Formation Graphs, Herbert G. Tanner, George J. Pappas, and R. Vijay Kumar

PDF

Simulation relations for discrete-time linear systems, Herbert Tanner and George J. Pappas

Papers from 2001

PDF

Fair Real-time Traffic Scheduling over a Wireless LAN, Maria Adamou, Sanjeev Khanna, Insup Lee, Insik Shin, and Shiyu Zhou

PDF

Coherency of Shared Memory in Ad-hoc Networks, Rajeev Alur

PDF

Shared Variables Interaction Diagrams, Rajeev Alur and Radu Grosu

PDF

Deterministic Generators and Games for LTL Fragments , Rajeev Alur and Salvatore La Torre

PDF

Stability and reachability analysis of a hybrid model of luminescence in the marine bacterium Vibrio fischeri, Calin Belta, Jonathan Schug, Thao Dang, R. Vijay Kumar, George J. Pappas, Harvey Rubin, and Paul Dunlap

PDF

Multi-Agent Hybrid System Simulation, Joel Esposito, R. Vijay Kumar, and George J. Pappas