Cited By
View all- Van Roy WNurkanović AAbbasi-Esfeden RFrey JPozharskiy ASwevers JDiehl M(2023)Continuous Optimization for Control of Finite-State Machines with Cascaded Hysteresis via Time-Freezing2023 62nd IEEE Conference on Decision and Control (CDC)10.1109/CDC49753.2023.10384083(6261-6266)Online publication date: 13-Dec-2023
- Tan YPlatzer A(2021)Switched Systems as Hybrid ProgramsIFAC-PapersOnLine10.1016/j.ifacol.2021.08.50654:5(247-252)Online publication date: 2021
- Sogokon AJackson PJohnson T(2019)Verifying Safety and Persistence in Hybrid Systems Using Flowpipes and Continuous InvariantsJournal of Automated Reasoning10.1007/s10817-018-9497-x63:4(1005-1029)Online publication date: 1-Dec-2019