A formal framework for specification-based embedded real-time system engineering

A formal framework for specification-based embedded real-time system engineering

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 2008.

Bibliographic Details
Main Author:	Ouimet, Martin, 1975-
Other Authors:	I. Kristina Lundqvist.
Format:	Thesis
Language:	eng
Published:	Massachusetts Institute of Technology 2009
Subjects:	Aeronautics and Astronautics.
Online Access:	http://hdl.handle.net/1721.1/45272

Similar Items

A diagnostics architecture for component-based system engineering
by: Ouimet, Martin, 1975-
Published: (2005)

Investigating the readability of formal specification languages
by: Zimmerman, Marc Kenton, 1975-
Published: (2013)

Algorithms for minimum-violation planning with formal specifications
by: Reyes Castro, Luis I. (Luis Ignacio), et al.
Published: (2014)

Algorithms for autonomous urban navigation with formal specifications
by: Chaudhari, Pratik (Pratik Anil)
Published: (2014)

Evaluating visualization in formal requirements specification : an experiment with human subjects
by: Viguier, Thomas, 1978-
Published: (2013)

A non-intrusive fault tolerant framework for mission critical real-time systems
by: Gorelov, Sébastien
Published: (2006)

Empirical evaluation of design principles for increasing reviewability of formal requirements specifications through visualization
by: Dulac, Nicolas, 1978-
Published: (2013)

Real-time probabilistic collision avoidance for autonomous vehicles, using order reductive conflict metrics
by: Jones, Thomas, 1975-
Published: (2006)

Timed model-based programming : executable specifications for robust mission-critical sequences
by: Ingham, Michel D. (Michel Donald), 1972-
Published: (2006)

Resource-coordinated hierarchical planning for real-time autonomous systems
by: Hall, William D. (William David), 1968-
Published: (2008)

Computational analysis of real-time convex optimization for control systems
by: McGovern, Lawrence Kent
Published: (2005)

Aircraft command interface for a real-time trajectory planning system
by: Alexander, James Richard
Published: (2007)

An Integrated Real options Framework for model-based identification and valuation of options under uncertainty
by: Mikaelian, Tsoline
Published: (2010)

Modeling and analysis of software specifications for an autonomous aerial vehicle
by: Vuong, Hon Fai, 1975-
Published: (2006)

Physically-based, real-time visualization and constraint analysis in multidisciplinary design optimization
by: Deremaux, Yann, 1978-
Published: (2005)

Fidelity of flight control systems in a real-time optimal trajectory planner
by: El-Dirani, Toni
Published: (2008)

Flight control command generation in a real-time mission planning system
by: Walker, William John 1957-
Published: (2008)

Discrete real-time flight plan optimization
by: Le Sellier, Francois, 1974-
Published: (2010)

Real time identification of large space structures
by: Voss, Janice Elaine
Published: (2016)

A framework for dynamic safety and risk management modeling in complex engineering systems
by: Dulac, Nicolas, 1978-
Published: (2009)

Learning control for a class of discrete-time, nonlinear systems
by: Perel, Ron Yitzhak, 1975-
Published: (2009)

Real-time maneuvering decisions for autonomous air combat
by: McGrew, James S
Published: (2009)

Real-time collision avoidance for autonomous air vehicles
by: Sanders, Christopher P. (Christopher Paul), 1973-
Published: (2010)

Transmission scheduling of periodic real-time traffic in wireless networks
by: Kadota, Igor
Published: (2017)

Achieving real-time mode estimation through offline compilation
by: Van Eepoel, John M. (John Michael), 1977-
Published: (2013)

Estimating task execution delay in a real-time system via static source code analysis
by: Treadwell, Steven B. (Steven Brett)
Published: (2009)

Fast methods for scheduling with applications to real-time systems and large-scale, robotic manufacturing of aerospace structures
by: Gombolay, Matthew C. (Matthew Craig)
Published: (2014)

CLIPSBase--a real-time relational database for the "principal investigator-in-a-box" (PI) expert system
by: Lai, Sen-Hao
Published: (2008)

System design visualizations for synthesizing intent specifications
by: Chiesi Stephanie Sharo, 1977-
Published: (2005)

Cooperative parent child unmanned aerial vehicles : a systems engineering approach
by: Karasi, Anand K. (Anand Kumar), 1975-
Published: (2010)

Real-time trajectory optimization using a constrained genetic algorithm
by: Van Deventer, Paul G. (Paul Gildenhuys)
Published: (2009)

Optimal estimation of the vehicle state in an embedded dopploer/GPS navigation system
by: Wetherbee, Lisa D. (Lisa Dawn)
Published: (2009)

Experimental testbeds for real-time motion planning : implementation and lessons learned
by: Jeon, Jeong Hwan, Ph. D. Massachusetts Institute of Technology
Published: (2010)

Model predictive control with application to real-time hardware and guided parafoil
by: Alaniz, Abran, 1980-
Published: (2005)

Development of modular real-time software for the TALARIS lunar hopper testbed
by: Han, Christopher J. (Christopher Jinhyun)
Published: (2011)

Modeling real-time human-automation collaborative scheduling of unmanned vehicles
by: Clare, Andrew S
Published: (2013)

Real-time dense simultaneous localization and mapping using monocular cameras
by: Greene, W. Nicholas (William Nicholas)
Published: (2017)

A real-time simulator for the SPHERES formation flying satellites testbed
by: Radcliffe, Andrew D. B. (Andrew Donald Brian), 1977-
Published: (2013)

Real-time quasi-analytical trajectory generation for docking with tumbling objects
by: Cabrales Hernandez, Alejandro D.
Published: (2020)

Dynamic human-computer collaboration in real-time unmanned vehicle scheduling
by: Clare, Andrew S
Published: (2010)