Ping Hou

Available identifiers

zbMath Open hou.pingMaRDI QIDQ1294995

List of research outcomes

Publication	Date of Publication	Type
Proactive Dynamic Distributed Constraint Optimization Problems	2022-08-02	Paper
Quantified Differential Temporal Dynamic Logic for Verifying Properties of Distributed Hybrid Systems	2015-12-11	Paper
https://portal.mardi4nfdi.de/entity/Q3089163	2011-08-24	Paper
FO(FD): Extending classical logic with rule-based fixpoint definitions	2010-08-19	Paper
A Deductive System for FO(ID) Based on Least Fixpoint Logic	2009-11-10	Paper
Optimal control of the insurance company with proportional reinsurance policy under solvency constraints	2009-01-16	Paper
A Deductive System for PC(ID)	2007-11-13	Paper
On simultaneous global external and global internal stabilization of critically unstable linear systems with saturating actuators	2000-10-17	Paper
Simultaneous external and internal stabilization for continuous and discrete-time critically unstable linear systems with saturating actuators	2000-06-07	Paper
https://portal.mardi4nfdi.de/entity/Q4241115	2000-06-07	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ping Hou