( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Contract-Based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems.

, , и . IEEE Trans. Autom. Control., 66 (3): 1055-1070 (2021)

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.

Laurent Bartholdi

Laurent Ntahuga

Thomas Laurent

Laurent Herschke

Thomas Laurent

 

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

Contract-Based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems., , и . IEEE Trans. Autom. Control., 66 (3): 1055-1070 (2021)Control Synthesis of Nonlinear Sampled Switched Systems using Euler's Method., , , и . SNR@ETAPS, том 247 из EPTCS, стр. 18-33. (2017)Constructing invariant tori using guaranteed Euler method., и . CoRR, (2021)Generation of bounded invariants via stroboscopic set-valued maps: Application to the stability analysis of parametric time-periodic systems., и . CoRR, (2020)Controlled Recurrence of a Biped with Torso., и . CoRR, (2019)Verification of the Generic Architecture of a Memory Circuit Using Parametric Timed Automata., , , и . FORMATS, том 4202 из Lecture Notes in Computer Science, стр. 113-127. Springer, (2006)Proving Safety Properties of Infinite State Systems by Compilation into Presburger Arithmetic., и . CONCUR, том 1243 из Lecture Notes in Computer Science, стр. 213-227. Springer, (1997)SLOG: A Logic Interpreter for Equational Clauses.. STACS, том 247 из Lecture Notes in Computer Science, стр. 479-480. Springer, (1987)Symbolic Verification with Gap-Order Constraints., и . LOPSTR, том 1207 из Lecture Notes in Computer Science, стр. 20-37. Springer, (1996)Reductions of Petri Nets and Unfolding of Propositional Logic Programs., и . LOPSTR, том 1207 из Lecture Notes in Computer Science, стр. 187-203. Springer, (1996)