Παρακολούθηση
Houssam Abbas
Houssam Abbas
Oregon State University
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα oregonstate.edu - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Probabilistic temporal logic falsification of cyber-physical systems
H Abbas, G Fainekos, S Sankaranarayanan, F Ivančić, A Gupta
ACM Transactions on Embedded Computing Systems (TECS) 12 (2s), 1-30, 2013
1882013
Benchmarks for Temporal Logic Requirements for Automotive Systems.
B Hoxha, H Abbas, G Fainekos
ARCH@ CPSWeek 34, 25-30, 2014
1142014
Smooth operator: Control using the smooth robustness of temporal logic
YV Pant, H Abbas, R Mangharam
2017 IEEE Conference on Control Technology and Applications (CCTA), 1235-1240, 2017
1022017
Fly-by-logic: Control of multi-drone fleets with temporal logic objectives
YV Pant, H Abbas, RA Quaye, R Mangharam
2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS …, 2018
812018
F1/10: An open-source autonomous cyber-physical platform
M O'Kelly, V Sukhil, H Abbas, J Harkins, C Kao, YV Pant, R Mangharam, ...
arXiv preprint arXiv:1901.08567, 2019
652019
Formal property verification in a conformance testing framework
H Abbas, H Mittelmann, G Fainekos
2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign …, 2014
632014
Functional gradient descent method for metric temporal logic specifications
H Abbas, A Winn, G Fainekos, AA Julius
2014 American Control Conference, 2312-2317, 2014
522014
Robustness-guided temporal logic testing and verification for stochastic cyber-physical systems
H Abbas, B Hoxha, G Fainekos, K Ueda
The 4th Annual IEEE International Conference on Cyber Technology in …, 2014
442014
Conformance testing as falsification for cyber-physical systems
H Abbas, B Hoxha, G Fainekos, JV Deshmukh, J Kapinski, K Ueda
arXiv preprint arXiv:1401.5200, 2014
432014
Towards formal specification visualization for testing and monitoring of cyber-physical systems
B Hoxha, H Bach, H Abbas, A Dokhanchi, Y Kobayashi, G Fainekos
Int. Workshop on Design and Implementation of Formal Tools and Systems, 2014
392014
Linear hybrid system falsification through local search
H Abbas, G Fainekos
Automated Technology for Verification and Analysis: 9th International …, 2011
372011
Safe at any speed: A simulation-based test harness for autonomous vehicles
H Abbas, M O’Kelly, A Rodionova, R Mangharam
Cyber Physical Systems. Design, Modeling, and Evaluation: 7th International …, 2019
342019
Computer-aided design for safe autonomous vehicles
M O'Kelly, H Abbas, R Mangharam
2017 Resilience Week (RWS), 90-96, 2017
342017
APEX: Autonomous vehicle plan verification and execution
M O'Kelly, H Abbas, S Gao, S Shiraishi, S Kato, R Mangharam
342016
Co-design of anytime computation and robust control
YV Pant, H Abbas, K Mohta, TX Nghiem, J Devietti, R Mangharam
2015 IEEE Real-Time Systems Symposium, 43-52, 2015
342015
Model validation of pwm dc–dc converters
OA Beg, H Abbas, TT Johnson, A Davoudi
IEEE Transactions on Industrial Electronics 64 (9), 7049-7059, 2017
332017
Computing descent direction of MTL robustness for non-linear systems
H Abbas, G Fainekos
2013 American Control Conference, 4405-4410, 2013
332013
Convergence proofs for simulated annealing falsification of safety properties
H Abbas, G Fainekos
2012 50th Annual Allerton Conference on Communication, Control, and …, 2012
322012
Suppression of mosquito noise by recursive epsilon-filters
H Abbas, LJ Karam
2007 IEEE International Conference on Acoustics, Speech and Signal …, 2007
222007
Test-based falsification and conformance testing for cyber-physical systems
HY Abbas
Arizona State University, 2015
202015
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20