( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis.

, , , и . ECC, стр. 579-584. IEEE, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Henrik Johansson

Karl Erik Johansson

Fredrik Johansson

Roger Johansson

Ulf Johansson

 

Другие публикации лиц с тем же именем

Asymptotic Analysis of Federated Learning Under Event-Triggered Communication., , , , и . IEEE Trans. Signal Process., (2023)Data-Driven Reachability Analysis Using Matrix Zonotopes., , , и . CoRR, (2020)Assume/Guarantee Contracts for Dynamical Systems: Theory and Computational Tools., , , , и . CoRR, (2020)Private and Secure Coordination of Match-Making for Heavy-Duty Vehicle Platooning., , и . CoRR, (2017)A Pricing Rule for Third-Party Platoon Coordination Service Provider., , , , и . ASCC, стр. 2344-2349. IEEE, (2022)Convergence of distributed averaging and maximizing algorithms part I: Time-dependent graphs., и . ACC, стр. 6096-6101. IEEE, (2013)Distributed primary frequency control through multi-terminal HVDC transmission systems., , , , и . ACC, стр. 5029-5034. IEEE, (2015)Fuel-optimal centralized coordination of truck platooning based on shortest paths., , и . ACC, стр. 3740-3745. IEEE, (2015)Structured model reduction of interconnected linear systems based on singular perturbation., , , , , и . ACC, стр. 5524-5529. IEEE, (2013)Distributed Fault Detection and Isolation with imprecise network models., , , и . ACC, стр. 5906-5911. IEEE, (2012)