vix.ing · top · new · best · stats · spec

Gabriel de Albuquerque Gleizer

  1. Self-Triggered Control for Near-Maximal Average Inter-Sample Time
    2021/05/07 by Gabriel de Albuquerque Gleizer, Gleizer, Gabriel de Albuquerque, Khushraj Madnani +3 · 1 citation
    Computer Science · #FOS: Electrical engineering #Formal Methods in Verification #Petri Nets in System Modeling #Real-Time Systems Scheduling #Systems and Control (eess.SY) #electronic engineering #information engineering
  2. Computing the average inter-sample time of event-triggered control using quantitative automata
    2021/09/29 by Gabriel de Albuquerque Gleizer, Gleizer, Gabriel de Albuquerque, Manuel Mazo +1 · 1 citation
    Computer Science · #Distributed systems and fault tolerance #FOS: Electrical engineering #Petri Nets in System Modeling #Real-Time Systems Scheduling #Systems and Control (eess.SY) #electronic engineering #information engineering