Concepedia

Ioannis Filippidis

IF

Statistics

Publications

8

Citations

259

H-Index

8

Active since

2011

Affiliations

National Technical University of Athens(Current)

California Institute of Technology

Jet Propulsion Laboratory

Ioannis Filippidis is an author at National Technical University of Athens specializing in engineering, systems engineering, and computer science.

Top concepts

EngineeringComputer ScienceSystems EngineeringFormal MethodsAutomated ReasoningFormal VerificationComputer EngineeringDesignGeometryField Robotics

Publications per year

2011–2016

8

Publications

8

Control design for hybrid systems with TuLiP: The Temporal Logic Planning toolbox

Ioannis Filippidis, Sumanth Dathathri, Scott C. Livingston et al. · 2016 · 80 citations

Engineering, Intelligent Systems, Control Systems +16

Decentralized multi-agent control from local LTL specifications

Ioannis Filippidis, Dimos V. Dimarogonas, Kostas J. Kyriakopoulos · 2012 · 53 citations

Engineering, Multi-agent Control, Networked Control +17

Adjustable navigation functions for unknown sphere worlds

Ioannis Filippidis, Kostas J. Kyriakopoulos · 2011 · 46 citations · Full text

Engineering, Geometry, Field Robotics +19

Navigation Functions for everywhere partially sufficiently curved worlds

Ioannis Filippidis, Kostas J. Kyriakopoulos · 2012 · 26 citations · Full text

Geometric Modeling, Automatic Navigation, Global Geometry +14

An improvement of the piggyback algorithm for parallel model checking

Ioannis Filippidis, Gerard J. Holzmann · 2014 · 20 citations

Product Automaton, Engineering, Reachability Problem +20

1–5 of 8