Author of the publication

A model checking framework for linear time invariant switching systems using structural systems analysis.

, , , , and . Allerton, page 973-980. IEEE, (2013)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Analysis and Design of Actuation-Sensing-Communication Interconnection Structures Toward Secured/Resilient LTI Closed-Loop Systems., , , and . IEEE Trans. Control. Netw. Syst., 6 (2): 667-678 (2019)Design of communication networks for distributed computation with privacy guarantees., , , and . CDC, page 1370-1376. IEEE, (2014)A Framework for Structural Input/Output and Control Configuration Selection in Large-Scale Systems., , and . CoRR, (2013)Approximation of network linear operators using similarity shift filters., , , and . GlobalSIP, page 420-424. IEEE, (2016)Structural Minimum Controllability Problem for Linear Continuous-Time Switching Systems., and . CoRR, (2015)A framework for actuator placement in large scale power systems: Minimal strong structural controllability., , , , and . CAMSAP, page 416-419. IEEE, (2013)Nonlinear estimation using Mean Field Games., , , and . NetGCoop, page 1-5. IEEE, (2011)A model checking framework for linear time invariant switching systems using structural systems analysis., , , , and . Allerton, page 973-980. IEEE, (2013)Identifying small subsets of agents for behavior tracking and abnormal event detection in dynamic networks., , , and . DyNetMM@SIGMOD, page 9-16. ACM, (2013)Minimum number of probes for brain dynamics observability., , and . CDC, page 306-311. IEEE, (2015)