Visible to the public Biblio

Found 1750 results

Book Chapter
King, Andrew L, Feng, Lu, Sokolsky, Oleg, Lee, Insup.  2013.  A modal specification approach for on-demand medical systems. Foundations of Health Information Engineering and Systems. :199–216.
Goppert, James, Gallagher, John C., Hwang, Inseok, Matson, Eric.  2014.  Model Checking of a Flapping-Wing Mirco-Air-Vehicle Trajectory Tracking Controller Subject to Disturbances. Robot Intelligence Technology and Applications 2: Results from the 2nd International Conference on Robot Intelligence Technology and Applications. :531–543.

This paper proposes a model checking method for a trajectory tracking controller for a flapping wing micro-air-vehicle (MAV) under disturbance. Due to the coupling of the continuous vehicle dynamics and the discrete guidance laws, the system is a hybrid system. Existing hybrid model checkers approximate the model by partitioning the continuous state space into invariant regions (flow pipes) through the use of reachable set computations. There are currently no efficient methods for accounting for unknown disturbances to the system. Neglecting disturbances for the trajectory tracking problem underestimates the reachable set and can fail to detect when the system would reach an unsafe condition. For linear systems, we propose the use of the H-infinity norm to augment the flow pipes and account for disturbances. We show that dynamic inversion can be coupled with our method to address the nonlinearities in the flapping-wing control system.

Michalopoulos, Panos G, Hourdakis, John.  2002.  Requirements and procedures for employing simulation in ITS applications. Applications of Advanced Technologies in Transportation (2002). :795–802.
Botha, Hermanus V., Boddhu, Sanjay K., McCurdy, Helena B., Gallagher, John C., Matson, Eric T., Kim, Yongho.  2015.  A Research Platform for Flapping Wing Micro Air Vehicle Control Study. Robot Intelligence Technology and Applications 3: Results from the 3rd International Conference on Robot Intelligence Technology and Applications. :135–150.

The split-cycle constant-period frequency modulation for flapping wing micro air vehicle control in two degrees of freedom has been proposed and its theoretical viability has been demonstrated in previous work. Further consecutive work on developing the split-cycle based physical control system has been targeted towards providing on-the-fly configurability of all the theoretically possible split-cycle wing control parameters with high fidelity on a physical Flapping Wing Micro Air Vehicle (FWMAV). Extending the physical vehicle and wing-level control modules developed previously, this paper provides the details of the FWMAV platform, that has been designed and assembled to aid other researchers interested in the design, development and analysis of high level flapping flight controllers. Additionally, besides the physical vehicle and the configurable control module, the platform provides numerous external communication access capabilities to conduct and validate various sensor fusion study for flapping flight control.

Jiang, Yu, Liu, Han, Song, Houbing, Kong, Hui, Gu, Ming, Sun, Jiaguang, Sha, Lui.  2016.  Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller. FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. :757–763.
Park, Junkil, Pajic, Miroslav, Lee, Insup, Sokolsky, Oleg.  2016.  Scalable Verification of Linear Controller Software. Tools and Algorithms for the Construction and Analysis of Systems (TACAS). :662–679.
Ekedebe, Nnanna, Yu, Wei, Wan, Yan.  2015.  Securing Transportation Cyber-Physical Systems. Securing Cyber-Physical Systems. :163–196.
C. Nowzari, J. Cortes.  2015.  Self-triggered and team-triggered control of networked cyber-physical systems. Event-Based Control and Signal Processing. :203-220.

This chapter describes triggered control approaches for the coordination of networked cyber-physical systems. Given the coverage of the other chapters of this book, our focus is on self-triggered control and a novel approach we term team-triggered control.

R. Liu, R. Goodfellow, Anurag K. Srivastava.  2016.  A Testbed for Closed Loop Cyber-Physical-SocialSystem Simulation and Security Analysis. Cyber-Physical-Social Systems and Constructs in Electric Power Engineering.
Agumbe Suresh, Mahima, Stoleru, Radu, Denton, Ron, Zechman, Emily, Shihada, Basem.  2012.  Towards Optimal Event Detection and Localization in Acyclic Flow Networks. Distributed Computing and Networking: 13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012. Proceedings. :179–196.
Ricart, Glenn, McGeer, Rick.  2016.  US Ignite and Smarter Communities. The GENI Book. :479–510.