Jungers, Raphael
- Lower Bounds on Complexity of Lyapunov Functions for Switched Linear Systems
2015/04/15 by Ahmadi, Amir Ali, Jungers, Raphael · 1 citation
#Chaotic Dynamics (nlin.CD) #Computational Complexity (cs.CC) #Dynamical Systems (math.DS) #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #FOS: Physical sciences #Optimization and Control (math.OC) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Reachability-based Control Synthesis under Signal Temporal Logic Specifications
2021/10/15 by Wei Ren, Raphaël M. Jungers, Ren, Wei +1 · 1 citation
Computer Science · Engineering · #Advanced Control Systems Optimization #FOS: Electrical engineering #Formal Methods in Verification #Petri Nets in System Modeling #Systems and Control (eess.SY) #electronic engineering #information engineering