Control Software Synthesis and Validation for a Vehicular Electric Power Distribution Testbed (English)
- New search for: Rogersten, Robert
- New search for: Xu, Huan
- New search for: Ozay, Necmiye
- New search for: Topcu, Ufuk
- New search for: Murray, Richard M.
- New search for: Rogersten, Robert
- New search for: Xu, Huan
- New search for: Ozay, Necmiye
- New search for: Topcu, Ufuk
- New search for: Murray, Richard M.
In:
Journal of Aerospace Information Systems
;
11
, 10
;
665-678
;
2014
-
ISSN:
- Article (Journal) / Electronic Resource
-
Title:Control Software Synthesis and Validation for a Vehicular Electric Power Distribution Testbed
-
Contributors:Rogersten, Robert ( author ) / Xu, Huan ( author ) / Ozay, Necmiye ( author ) / Topcu, Ufuk ( author ) / Murray, Richard M. ( author )
-
Published in:Journal of Aerospace Information Systems ; 11, 10 ; 665-678
-
Publisher:
- New search for: The American Institute of Aeronautics and Astronautics
-
Publication date:2014-07-03
-
Size:14 pages
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents – Volume 11, Issue 10
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 607
-
Special Issue on Software Challenges in Aerospace| 2014
- 610
-
Work Models that Compute to Describe Multiagent Concepts of Operation: Part 1Pritchett, Amy R. / Feigh, Karen M. / Kim, So Young / Kannan, Suresh K. et al. | 2014
- 623
-
Generic Agent Models for Simulations of Concepts of Operation: Part 2Feigh, Karen M. / Pritchett, Amy R. / Mamessier, Sebastien / Gelman, Gabriel et al. | 2014
- 632
-
Generating Test Cases with 100-Percent Requirements Coverage Using Design of ExperimentsJeppu, Yogananda / Rey, Gonzalo J. / Apte, Prakash R. et al. | 2014
- 649
-
Certification and Software Verification Considerations for Autonomous Unmanned AircraftTorens, Christoph / Adolf, Florian-M. / Goormann, Lukas et al. | 2014
- 665
-
Control Software Synthesis and Validation for a Vehicular Electric Power Distribution TestbedRogersten, Robert / Xu, Huan / Ozay, Necmiye / Topcu, Ufuk / Murray, Richard M. et al. | 2014
- 679
-
Small Spacecraft Software Modeling: A Petri Net-Based ApproachMalott, Levi / Palangpour, Pasha / Pernicka, Henry / Chellappan, Sriram et al. | 2014
- 691
-
Dynamics of Software SustainmentSheard, Sarah / Ferguson, Robert / Phillips, Michael / Moore, Andrew et al. | 2014
- 702
-
Hybrid Theorem Proving of Aerospace Systems: Applications and ChallengesGhorbal, Khalil / Jeannin, Jean-Baptiste / Zawadzki, Erik / Platzer, André / Gordon, Geoffrey J. / Capell, Peter et al. | 2014
- 714
-
Development of a Mobile Robot System Based on the Soar Cognitive ArchitectureHanford, Scott D. / Long, Lyle N. et al. | 2014
- 726
-
Education in the Crosscutting Sciences of Aerospace and ComputingAtkins, Ella M. et al. | 2014
- 738
-
Multibit Fault Injection for Field-Programmable Gate Arrays with Simple, Portable Fault InjectorCieslewski, Grzegorz G. / Jacobs, Adam / George, Alan D. / Gordon-Ross, Ann et al. | 2014