ResearcherID Thomson Reuters  

Johnson, Taylor T
Create a ResearcherID badge for this researcher View publications analytics for this researcher
Close
ResearcherID: E-8862-2015
Other Names: Taylor Johnson; T. T. Johnson
URL: http://www.researcherid.com/rid/E-8862-2015
ORCID: http://orcid.org/0000-0001-8021-9923
My Institutions (more details)
Primary Institution:
Sub-org/Dept: Computer Science and Engineering
Role:
Description:
 
 

This list contains papers that I have authored.

publication(s)  
First Page Previous Page Page   of  3  Go Next Page Last Page
  Sort by:    Results per page: 
1.  Title: Verified Planar Formation Control Algorithms by Composition of Primitives
 Author(s): Leonardo Bobadilla; Taylor T. Johnson; Amy LaViers
 Conference: {AIAA} Guidance, Navigation, and Control Conference Year: 2015
 DOI: 10.2514/6.2015-1541
added
04-May-15
2.  Title: {HyRG}
 Author(s): Luan Viet Nguyen; Christian Schilling; Sergiy Bogomolov; et al.
 Conference: Proceedings of the 18th International Conference on Hybrid Systems Computation and Control - {HSCC} {\textquotesingle}15 Year: 2015
 DOI: 10.1145/2728606.2728650
added
04-May-15
3.  Title: {HYST}
 Author(s): Stanley Bak; Sergiy Bogomolov; Taylor T. Johnson
 Conference: Proceedings of the 18th International Conference on Hybrid Systems Computation and Control - {HSCC} {\textquotesingle}15 Year: 2015
 DOI: 10.1145/2728606.2728630
added
04-May-15
4.  Title: Anonymized reachability of hybrid automata networks
 Author(s): Johnson, T.T.; Mitra, S.
 Source: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Volume: 8711 LNCS Pages: 130-145 Published: 2014
 DOI: 10.1007/978-3-319-10512-3-10 /  Author-provided URL : http://www.scopus.com/inward/record.url?eid=2-s2.0-84906342970&partnerID=MN8TOAR ...
added
04-May-15
5.  Title: Model-based design and analysis of a reconfigurable continuous-culture bioreactor
 Author(s): Luan Viet Nguyen; Eric J. Nelson; Amol Vengurlekar; et al.
 Conference: Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems - CyPhy '14 Year: 2014
 DOI: 10.1145/2593458.2593469
added
04-May-15
6.  Title: Virtual prototyping for distributed control of a fault-tolerant modular multilevel inverter for photovoltaics
 Author(s): Nguyen, L.V.; Tran, H.-D.; Johnson, T.T.
 Source: IEEE Transactions on Energy Conversion Volume: 29 Issue: 4 Pages: 841-850 Published: 2014
 Times Cited: 8
 DOI: 10.1109/TEC.2014.2362716 /  Author-provided URL : http://www.scopus.com/inward/record.url?eid=2-s2.0-84913592048&partnerID=MN8TOAR ...
added
04-May-15
7.  Title: Abstraction-based guided search for hybrid systems
 Author(s): Bogomolov, S.; Donzé, A.; Frehse, G.; et al.
 Source: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Volume: 7976 LNCS Pages: 117-134 Published: 2013
 DOI: 10.1007/978-3-642-39176-7-8 /  Author-provided URL : http://www.scopus.com/inward/record.url?eid=2-s2.0-84884911560&partnerID=MN8TOAR ...
added
04-May-15
8.  Title: Abstraction-Based Guided Search for Hybrid Systems
 Author(s): Sergiy Bogomolov; Alexandre Donz\'e; Goran Frehse; et al.
 Source: Model Checking Software Pages: 117-134 Published: 2013
 DOI: 10.1007/978-3-642-39176-7_8
added
04-May-15
9.  Title: Invariant Synthesis for Verification of Parameterized Cyber-Physical Systems with Applications to Aerospace Systems
 Author(s): Taylor T. Johnson; Sayan Mitra
 Conference: AIAA Infotech@Aerospace (I@A) Conference Year: 2013
 DOI: 10.2514/6.2013-4811
added
04-May-15
10.  Title: Invariant synthesis for verification of parameterized cyber-physical systems with applications to aerospace systems
 Author(s): Johnson, T.T.; Mitra, S.
 Conference: AIAA Infotech at Aerospace (I at A) Conference Year: 2013
 Author-provided URL : http://www.scopus.com/inward/record.url?eid=2-s2.0-84883723847&partnerID=MN8TOAR ...
added
04-May-15
publication(s)  
First Page Previous Page Page   of  3  Go Next Page Last Page
  Sort by:    Results per page: