• Source: Scopus
  • Calculated based on no. of publications stored in Pure and citations from Scopus
20082022

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2021

    Interval observer design of dynamical systems with neural networks

    Xiang, W., May 19 2021, HSCC 2021 - Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control (part of CPS-IoT Week). Association for Computing Machinery, Inc, (HSCC 2021 - Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control (part of CPS-IoT Week)).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • 2020

    Demo: The Neural Network Verification (NNV) Tool

    Tran, H. D., Lopez, D. M., Yang, X., Musau, P., Nguyen, L. V., Xiang, W., Bak, S. & Johnson, T. T., Apr 2020, Proceedings - 2020 IEEE Workshop on Design Automation for CPS and IoT, DESTION 2020. Institute of Electrical and Electronics Engineers Inc., p. 21-22 2 p. 9140711. (Proceedings - 2020 IEEE Workshop on Design Automation for CPS and IoT, DESTION 2020).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems

    Tran, H. D., Yang, X., Manzanas Lopez, D., Musau, P., Nguyen, L. V., Xiang, W., Bak, S. & Johnson, T. T., 2020, Computer Aided Verification - 32nd International Conference, CAV 2020, Proceedings. Lahiri, S. K. & Wang, C. (eds.). Springer, p. 3-17 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12224 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    7 Scopus citations
  • Verification of Deep Convolutional Neural Networks Using ImageStars

    Tran, H. D., Bak, S., Xiang, W. & Johnson, T. T., 2020, Computer Aided Verification - 32nd International Conference, CAV 2020, Proceedings. Lahiri, S. K. & Wang, C. (eds.). Springer, p. 18-42 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12224 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    8 Scopus citations
  • 2019

    Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems

    Tran, H. D., Nguyen, L. V., Musau, P., Xiang, W. & Johnson, T. T., 2019, Formal Techniques for Distributed Objects, Components, and Systems - 39th IFIP WG 6.1 International Conference, FORTE 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Proceedings. Pérez, J. A. & Yoshida, N. (eds.). Springer Verlag, p. 261-277 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11535 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    4 Scopus citations
  • Parallelizable Reachability Analysis Algorithms for Feed-Forward Neural Networks

    Tran, H. D., Musau, P., Manzanas Lopez, D., Yang, X., Nguyen, L. V., Xiang, W. & Johnson, T. T., May 2019, Proceedings - 2019 IEEE/ACM 7th International Workshop on Formal Methods in Software Engineering, FormaliSE 2019. Institute of Electrical and Electronics Engineers Inc., p. 51-60 10 p. 8807491. (Proceedings - 2019 IEEE/ACM 7th International Workshop on Formal Methods in Software Engineering, FormaliSE 2019).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    6 Scopus citations
  • Reachability Analysis for High-Index Linear Differential Algebraic Equations

    Tran, H. D., Nguyen, L. V., Hamilton, N., Xiang, W. & Johnson, T. T., 2019, Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Proceedings. André, É., Stoelinga, M. & Stoelinga, M. (eds.). Springer, p. 160-177 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11750 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    4 Scopus citations
  • Star-based reachability analysis of deep neural networks

    Tran, H. D., Manzanas Lopez, D., Musau, P., Yang, X., Nguyen, L. V., Xiang, W. & Johnson, T. T., 2019, Formal Methods – The Next 30 Years - 3rd World Congress, FM 2019, Proceedings. ter Beek, M. H., McIver, A. & Oliveira, J. N. (eds.). Springer, p. 670-686 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11800 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    6 Scopus citations
  • 2018

    Reachable Set Estimation and Safety Verification for Piecewise Linear Systems with Neural Network Controllers

    Xiang, W., Tran, H. D., Rosenfeld, J. A. & Johnson, T. T., Aug 9 2018, 2018 Annual American Control Conference, ACC 2018. Institute of Electrical and Electronics Engineers Inc., p. 1574-1579 6 p. 8431048. (Proceedings of the American Control Conference; vol. 2018-June).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    11 Scopus citations
  • Stabilizing Switching Control for DC- DC Converter in Two-Stage Photovoltaic Grid Connected Inverters

    Liu, Y., Wang, T., Wang, X. & Xiang, W., Dec 10 2018, 2018 International Conference on Information, Cybernetics, and Computational Social Systems, ICCSS 2018. Institute of Electrical and Electronics Engineers Inc., p. 387-392 6 p. 8572323. (2018 International Conference on Information, Cybernetics, and Computational Social Systems, ICCSS 2018).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Scopus citations
  • 2017

    On reachable set estimation for discrete-time switched linear systems under arbitrary switching

    Xiang, W., Tran, H. D. & Johnson, T. T., Jun 29 2017, 2017 American Control Conference, ACC 2017. Institute of Electrical and Electronics Engineers Inc., p. 4534-4539 6 p. 7963654. (Proceedings of the American Control Conference).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    4 Scopus citations
  • 2016

    Reachable set estimation and control for switched linear systems with dwell-time restriction

    Xiang, W., Tran, H. D. & Johnson, T. T., Dec 27 2016, 2016 IEEE 55th Conference on Decision and Control, CDC 2016. Institute of Electrical and Electronics Engineers Inc., p. 7246-7251 6 p. 7799387. (2016 IEEE 55th Conference on Decision and Control, CDC 2016).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    5 Scopus citations
  • Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP

    Duggirala, P. S., Fan, C., Potok, M., Qi, B., Mitra, S., Viswanathan, M., Bak, S., Bogomolov, S., Johnson, T. T., Nguyen, L. V., Schilling, C., Sogokon, A., Tran, H. D. & Xiang, W., Oct 10 2016, 2016 IEEE Conference on Control Applications, CCA 2016. Institute of Electrical and Electronics Engineers Inc., p. 1024-1029 6 p. 7587948. (2016 IEEE Conference on Control Applications, CCA 2016).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Scopus citations
  • 2014

    Real-time signalization for an oversaturated intersection via switched system approach

    Xiang, W. & Xiao, J., Sep 11 2014, Proceedings of the 33rd Chinese Control Conference, CCC 2014. Xu, S. & Zhao, Q. (eds.). IEEE Computer Society, p. 3350-3355 6 p. 6895494. (Proceedings of the 33rd Chinese Control Conference, CCC 2014).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Scopus citations
  • Reliable tracking control for high speed train against actuator failures: A parallel control architecture

    Xiang, W. & Xiao, J., Nov 14 2014, 2014 17th IEEE International Conference on Intelligent Transportation Systems, ITSC 2014. Institute of Electrical and Electronics Engineers Inc., p. 828-833 6 p. 6957792. (2014 17th IEEE International Conference on Intelligent Transportation Systems, ITSC 2014).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Scopus citations
  • 2013

    A new approach for stabilization of switched discrete linear systems

    Zhao, Y. & Xiang, W., Apr 29 2013, Machinery Electronics and Control Engineering II. p. 982-989 8 p. (Applied Mechanics and Materials; vol. 313-314).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Finite-time control for switched discrete-time system

    Xiang, W. & Zhao, Y., Apr 29 2013, Machinery Electronics and Control Engineering II. p. 516-523 8 p. (Applied Mechanics and Materials; vol. 313-314).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2011

    Finite-time stability analysis for switched linear systems

    Xiang, W., Xiao, J. & Xiao, C., Sep 5 2011, Proceedings of the 2011 Chinese Control and Decision Conference, CCDC 2011. p. 3115-3120 6 p. 5968791. (Proceedings of the 2011 Chinese Control and Decision Conference, CCDC 2011).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    7 Scopus citations
  • 2009

    Stabilization of a class of switched systems with mismatched switching

    Xiang, W., Che, M., Xiao, C. & Xiang, Z., Nov 18 2009, 2009 International Conference on Measuring Technology and Mechatronics Automation, ICMTMA 2009. p. 124-127 4 p. 5203392. (2009 International Conference on Measuring Technology and Mechatronics Automation, ICMTMA 2009; vol. 2).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    7 Scopus citations
  • 2008

    Observer design and analysis for switched systems with mismatching switching signal

    Xiang, W., Che, M., Xiao, C. & Xiang, Z., Dec 30 2008, Proceedings - International Conference on Intelligent Computation Technology and Automation, ICICTA 2008. p. 650-654 5 p. 4659567. (Proceedings - International Conference on Intelligent Computation Technology and Automation, ICICTA 2008; vol. 1).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    8 Scopus citations
  • Stability analysis of switched nonlinear systems based on dynamical dwell time approach

    Xiang, Z. & Xiang, W., Aug 18 2008, Proceedings of 2008 IEEE International Conference on Networking, Sensing and Control, ICNSC. p. 1758-1763 6 p. 4525508. (Proceedings of 2008 IEEE International Conference on Networking, Sensing and Control, ICNSC).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    8 Scopus citations
  • Stabilization of a class of switched nonlinear systems with average dwell time

    Xiang, Z. & Xiang, W., Sep 25 2008, Proceedings of the 7th World Congress on Intelligent Control and Automation, WCICA'08. p. 1673-1676 4 p. 4593170. (Proceedings of the World Congress on Intelligent Control and Automation (WCICA)).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Scopus citations