Yingfu Zeng
Yingfu Zeng
Ph.D student, Rice University
Adresse e-mail validée de rice.edu
Titre
Citée par
Citée par
Année
Acumen: An open-source testbed for cyber-physical systems research
W Taha, A Duracz, Y Zeng, K Atkinson, FA Bartha, P Brauner, J Duracz, ...
International Internet of Things Summit, 118-130, 2015
302015
A core language for executable models of cyber-physical systems (preliminary report)
W Taha, P Brauner, Y Zeng, R Cartwright, V Gaspes, A Ames, ...
2012 32nd International Conference on Distributed Computing Systems …, 2012
172012
Using rigorous simulation to support ISO 26262 hazard analysis and risk assessment
A Duracz, H Eriksson, FA Bartha, F Xu, Y Zeng, W Taha
2015 IEEE 17th International Conference on High Performance Computing and …, 2015
132015
Developing a first course on cyber-physical systems
W Taha, Y Zeng, A Duracz, X Fei, K Atkinson, P Brauner, R Cartwright, ...
ACM SIGBED Review 14 (1), 44-52, 2017
122017
Modeling Electromechanical Aspects of Cyber-Physical Systems
Y Zeng, C Rose, W Taha, A Duracz, K Atkinson, R Philippsen, ...
Journal of Software Engineering for Robotics 7 (1), 100-119, 2016
102016
A first course on cyber physical systems
W Taha, R Cartwright, R Philippsen, Y Zeng
Workshop on Cyber-Physical Systems Education (CPS-Ed), 2013
102013
Modeling basic aspects of cyber-physical systems, part ii
Y Zeng, C Rose, P Brauner, W Taha, J Masood, R Philippsen, M OMalley, ...
2014 IEEE Intl Conf on High Performance Computing and Communications, 2014 …, 2014
92014
Chattering-free simulation for hybrid dynamical systems semantics and prototype implementation
A Aljarbouh, Y Zeng, A Duracz, B Caillaud, W Taha
2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and …, 2016
72016
Experiences with a first course on cyber-physical systems
W Taha, R Cartwright, R Philippsen, Y Zeng
2013 Workshop on Embedded and Cyber-Physical Systems Education (WESE …, 2013
62013
Flipping a first course on cyber-physical systems: an experience report
W Taha, LG Hedstrom, F Xu, A Duracz, FA Bartha, Y Zeng, J David, ...
Proceedings of the 2016 Workshop on Embedded and Cyber-Physical Systems …, 2016
32016
Compile-Time Extensions to Hybrid ODEs
Y Zeng, F Bartha, W Taha
Proceedings 3rd International Workshop on Symbolic and Numerical Methods for …, 2017
22017
Chattering-free simulation for hybrid dynamical systems
A Aljarbouh, A Duracz, Y Zeng, B Caillaud, W Taha
2016 IEEE International Conference on Computational Science and Engineering …, 2016
22016
Advanced Hazard Analysis and Risk Assessment in the ISO 26262 Functional Safety Standard Using Rigorous Simulation
J Masood, R Philippsen, H Eriksson, J Duracz, F Xu, Y Zeng, C Grante
Cyber Physical Systems. Model-Based Design: 9th International Workshop …, 2020
2020
Making Hybrid Systems Easier to Model, Simulate, and Visualize
Y Zeng
Rice University, 2019
2019
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–14