Cited By
View all- Majumdar ROzay NSchmuck AAmes ASeshia SDeshmukh J(2020)On abstraction-based controller design with output feedbackProceedings of the 23rd International Conference on Hybrid Systems: Computation and Control10.1145/3365365.3382219(1-11)Online publication date: 22-Apr-2020
- Fan DTarraf D(2018)Output Observability of Systems Over Finite Alphabets With Linear Internal DynamicsIEEE Transactions on Automatic Control10.1109/TAC.2018.279346363:10(3404-3417)Online publication date: Oct-2018
- Filippidis IMurray R(2018)Layering Assume-Guarantee Contracts for Hierarchical System DesignProceedings of the IEEE10.1109/JPROC.2018.2834926106:9(1616-1654)Online publication date: Sep-2018
- Show More Cited By