Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
  • Wu H, Feng S, Gan T, Wang J, Xia B and Zhan N. On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains. Formal Methods. (248-266).

    https://doi.org/10.1007/978-3-031-71177-0_16

  • Nejati A, Prakash Nayak S and Schmuck A. Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier Certificates. Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control. (1-12).

    https://doi.org/10.1145/3641513.3650136

  • Wang Y, Zhou W, Fan J, Wang Z, Li J, Chen X, Huang C, Li W and Zhu Q. POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 10.1109/TCAD.2023.3331215. 43:3. (994-1007).

    https://ieeexplore.ieee.org/document/10312771/

  • Anand M, Lavaei A and Zamani M. (2024). Compositional synthesis of control barrier certificates for networks of stochastic systems against -regular specifications . Nonlinear Analysis: Hybrid Systems. 10.1016/j.nahs.2023.101427. 51. (101427). Online publication date: 1-Feb-2024.

    https://linkinghub.elsevier.com/retrieve/pii/S1751570X23000985

  • Gray A, Forets M, Schilling C, Ferson S and Benet L. (2024). Verified propagation of imprecise probabilities in non-linear ODEs. International Journal of Approximate Reasoning. 164:C. Online publication date: 1-Jan-2024.

    https://doi.org/10.1016/j.ijar.2023.109044

  • Nadali A, Trivedi A and Zamani M. (2024). Transfer of Safety Controllers Through Learning Deep Inverse Dynamics Model. IFAC-PapersOnLine. 10.1016/j.ifacol.2024.07.436. 58:11. (129-134).

    https://linkinghub.elsevier.com/retrieve/pii/S2405896324005354

  • Zhu Q, Li W, Huang C, Chen X, Zhou W, Wang Y, Li J and Fu F. (2023). Verification and Design of Robust and Safe Neural Network-enabled Autonomous Systems 2023 59th Annual Allerton Conference on Communication, Control, and Computing (Allerton). 10.1109/Allerton58177.2023.10313451. 979-8-3503-2814-1. (1-8).

    https://ieeexplore.ieee.org/document/10313451/

  • Wetzlinger M, Kochdumper N, Bak S and Althoff M. Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions. Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control. (1-12).

    https://doi.org/10.1145/3575870.3587121

  • Nejati A, Lavaei A, Jagtap P, Soudjani S and Zamani M. Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach. IEEE Transactions on Automatic Control. 10.1109/TAC.2023.3255141. 68:5. (3011-3024).

    https://ieeexplore.ieee.org/document/10066195/

  • Jahanshahi N, Lavaei A and Zamani M. Compositional Construction of Safety Controllers for Networks of Continuous-Space POMDPs. IEEE Transactions on Control of Network Systems. 10.1109/TCNS.2022.3186649. 10:1. (87-99).

    https://ieeexplore.ieee.org/document/9808150/

  • Lavaei A, Soudjani S, Abate A and Zamani M. (2022). Automated verification and synthesis of stochastic hybrid systems: A survey. Automatica. 10.1016/j.automatica.2022.110617. 146. (110617). Online publication date: 1-Dec-2022.

    https://linkinghub.elsevier.com/retrieve/pii/S0005109822004794

  • Wang Q, Chen M, Xue B, Zhan N and Katoen J. (2022). Encoding inductive invariants as barrier certificates: Synthesis via difference-of-convex programming. Information and Computation. 10.1016/j.ic.2022.104965. 289. (104965). Online publication date: 1-Nov-2022.

    https://linkinghub.elsevier.com/retrieve/pii/S0890540122001201

  • Nejati A, Soudjani S and Zamani M. (2022). Compositional construction of control barrier functions for continuous-time stochastic hybrid systems. Automatica. 10.1016/j.automatica.2022.110513. 145. (110513). Online publication date: 1-Nov-2022.

    https://linkinghub.elsevier.com/retrieve/pii/S0005109822003727

  • van Huijgevoort B and Haesaert S. (2022). Similarity quantification for linear stochastic systems: A coupling compensator approach. Automatica. 10.1016/j.automatica.2022.110476. 144. (110476). Online publication date: 1-Oct-2022.

    https://linkinghub.elsevier.com/retrieve/pii/S0005109822003351

  • Lavaei A and Frazzoli E. (2022). Compositional Controller Synthesis for Interconnected Stochastic Systems with Markovian Switching * 2022 American Control Conference (ACC). 10.23919/ACC53348.2022.9867503. 978-1-6654-5196-3. (4838-4843).

    https://ieeexplore.ieee.org/document/9867503/

  • Anand M, Murali V, Trivedi A and Zamani M. k-Inductive Barrier Certificates for Stochastic Systems. Proceedings of the 25th ACM International Conference on Hybrid Systems: Computation and Control. (1-11).

    https://doi.org/10.1145/3501710.3519532

  • Neubauer S and Grosu R. (2022). Robustness Analysis of Continuous-Depth Models with Lagrangian Techniques. Principles of Systems Design. 10.1007/978-3-031-22337-2_30. (625-649).

    https://link.springer.com/10.1007/978-3-031-22337-2_30

  • Anand M, Murali V, Trivedi A and Zamani M. Safety Verification of Dynamical Systems via k-Inductive Barrier Certificates. 2021 60th IEEE Conference on Decision and Control (CDC). (1314-1320).

    https://doi.org/10.1109/CDC45484.2021.9682889

  • Wabersich K and Zeilinger M. (2021). Nonlinear learning‐based model predictive control supporting state and input dependent model uncertainty estimates. International Journal of Robust and Nonlinear Control. 10.1002/rnc.5688. 31:18. (8897-8915). Online publication date: 1-Dec-2021.

    https://onlinelibrary.wiley.com/doi/10.1002/rnc.5688

  • Jagtap P, Soudjani S and Zamani M. Formal Synthesis of Stochastic Systems via Control Barrier Certificates. IEEE Transactions on Automatic Control. 10.1109/TAC.2020.3013916. 66:7. (3097-3110).

    https://ieeexplore.ieee.org/document/9157966/

  • Xie G, Yang K, Luo H, Li R and Hu S. Reliability and Confidentiality Co-Verification for Parallel Applications in Distributed Systems. IEEE Transactions on Parallel and Distributed Systems. 10.1109/TPDS.2021.3049780. 32:6. (1353-1368).

    https://ieeexplore.ieee.org/document/9316956/

  • Haesaert S and Soudjani S. Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems. IEEE Transactions on Automatic Control. 10.1109/TAC.2020.3010490. 66:6. (2496-2511).

    https://ieeexplore.ieee.org/document/9144391/

  • Wang Z, Huang C, Wang Y, Hobbs C, Chakraborty S and Zhu Q. (2021). Bounding Perception Neural Network Uncertainty for Safe Control of Autonomous Systems 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE). 10.23919/DATE51398.2021.9474204. 978-3-9819263-5-4. (1745-1750).

    https://ieeexplore.ieee.org/document/9474204/

  • Zhu Q, Huang C, Jiao R, Lan S, Liang H, Liu X, Wang Y, Wang Z and Xu S. Safety-Assured Design and Adaptation of Learning-Enabled Autonomous Systems. Proceedings of the 26th Asia and South Pacific Design Automation Conference. (753-760).

    https://doi.org/10.1145/3394885.3431623

  • Nejati A, Lavaei A, Soudjani S and Zamani M. (2021). Data-Driven Estimation of Infinitesimal Generators of Stochastic Systems. IFAC-PapersOnLine. 10.1016/j.ifacol.2021.08.511. 54:5. (277-282).

    https://linkinghub.elsevier.com/retrieve/pii/S2405896321012866

  • Wang Y, Huang C and Zhu Q. Energy-efficient control adaptation with safety guarantees for learning-enabled cyber-physical systems. Proceedings of the 39th International Conference on Computer-Aided Design. (1-9).

    https://doi.org/10.1145/3400302.3415676

  • Xue B, Franzle M, Zhan N, Bogomolov S and Xia B. Safety Verification for Random Ordinary Differential Equations. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 10.1109/TCAD.2020.3013135. 39:11. (4090-4101).

    https://ieeexplore.ieee.org/document/9211452/

  • Zhu H, Chen W and Wu Y. (2020). Efficient Implementations for Orthogonal Matching Pursuit. Electronics. 10.3390/electronics9091507. 9:9. (1507).

    https://www.mdpi.com/2079-9292/9/9/1507

  • Xie G, Li Y, Han Y, Xie Y, Zeng G and Li R. Recent Advances and Future Trends for Automotive Functional Safety Design Methodologies. IEEE Transactions on Industrial Informatics. 10.1109/TII.2020.2978889. 16:9. (5629-5642).

    https://ieeexplore.ieee.org/document/9026820/

  • Huang C, Chang K, Lin C and Zhu Q. SAW: A Tool for Safety Analysis of Weakly-Hard Systems. Computer Aided Verification. (543-555).

    https://doi.org/10.1007/978-3-030-53288-8_26

  • Huang C, Chen X, Tang E, He M, Bu L, Qin S and Zeng Y. (2020). Navigating Discrete Difference Equation Governed WMR by Virtual Linear Leader Guided HMPC 2020 IEEE International Conference on Robotics and Automation (ICRA). 10.1109/ICRA40945.2020.9197375. 978-1-7281-7395-5. (151-157).

    https://ieeexplore.ieee.org/document/9197375/

  • Jahanshahi N, Jagtap P and Zamani M. Synthesis of Partially Observed Jump-Diffusion Systems via Control Barrier Functions. IEEE Control Systems Letters. 10.1109/LCSYS.2020.3001562. (1-1).

    https://ieeexplore.ieee.org/document/9115020/

  • Nejati A, Soudjani S and Zamani M. Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched Systems. IEEE Control Systems Letters. 10.1109/LCSYS.2020.2994039. (1-1).

    https://ieeexplore.ieee.org/document/9091583/

  • Anand M, Lavaei A and Zamani M. (2020). Compositional Construction of Control Barrier Certificates for Large-Scale Interconnected Stochastic Systems. IFAC-PapersOnLine. 10.1016/j.ifacol.2020.12.2355. 53:2. (1862-1867).

    https://linkinghub.elsevier.com/retrieve/pii/S240589632033024X

  • Nejati A, Soudjani S and Zamani M. (2020). Compositional Construction of Control Barrier Functions for Networks of Continuous-Time Stochastic Systems. IFAC-PapersOnLine. 10.1016/j.ifacol.2020.12.2354. 53:2. (1856-1861).

    https://linkinghub.elsevier.com/retrieve/pii/S2405896320330238

  • Jahanshahi N, Jagtap P and Zamani M. (2020). Synthesis of Stochastic Systems with Partial Information via Control Barrier Functions. IFAC-PapersOnLine. 10.1016/j.ifacol.2020.12.187. 53:2. (2441-2446).

    https://linkinghub.elsevier.com/retrieve/pii/S2405896320304523

  • Fan J, Huang C, Li W, Chen X and Zhu Q. (2019). Towards Verification-Aware Knowledge Distillation for Neural-Network Controlled Systems: Invited Paper 2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD). 10.1109/ICCAD45719.2019.8942059. 978-1-7281-2350-9. (1-8).

    https://ieeexplore.ieee.org/document/8942059/

  • Huang C, Fan J, Li W, Chen X and Zhu Q. (2019). ReachNN. ACM Transactions on Embedded Computing Systems. 18:5s. (1-22). Online publication date: 31-Oct-2019.

    https://doi.org/10.1145/3358228

  • Huang C, Li W and Zhu Q. Formal verification of weakly-hard systems. Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control. (197-207).

    https://doi.org/10.1145/3302504.3311811

  • Haesaert S and Soudjani S. Achievements in correct-by-design control for stochastic systems. Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT. (12-15).

    https://doi.org/10.1145/3313149.3313368

  • Bu L, Zhang T, Chen X, Wang L, Zhao J and Li X. (2018). Model-based Construction and Verification of Cyber-Physical Systems. ACM SIGSOFT Software Engineering Notes. 43:3. (6-10). Online publication date: 7-Dec-2018.

    https://doi.org/10.1145/3229783.3229793

  • Lan S, Huang C, Wang Z, Liang H, Su W and Zhu Q. (2018). Design Automation for Intelligent Automotive Systems 2018 IEEE International Test Conference (ITC). 10.1109/TEST.2018.8624723. 978-1-5386-8382-8. (1-10).

    https://ieeexplore.ieee.org/document/8624723/

  • Jagtap P, Soudjani S and Zamani M. (2018). Temporal Logic Verification of Stochastic Systems Using Barrier Certificates. Automated Technology for Verification and Analysis. 10.1007/978-3-030-01090-4_11. (177-193).

    http://link.springer.com/10.1007/978-3-030-01090-4_11